Filtros de búsqueda

Lista de obras de Julian Mackay

<i>Necessity</i> specifications for robustness

artículo científico publicado en 2022

Dafny vs. Dala: Experience with Mechanising Language Design

artículo científico publicado en 2024

Decidable Subtyping for Path Dependent Types

2020 doctoral thesis by Julian Mackay at Victoria University of Wellington

Ownership and Immutability in Coq

2013 master's thesis by Julian Mackay at Victoria University of Wellington

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda