Skip to Content
STAX
Toggle navigation
STAX
Accesso
Casa
Di
Aiuto
contatto
Cerca STAX
Partire
Ricerca
Cancellare i filtri
Filtro per:
Creatore
Dagand, Pierre-Évariste
Cancella il filtro Creatore: Dagand, Pierre-Évariste
1
termine di ricerca trovato
Ordina per relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Risultati per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
Visualizza i risultati come:
Lista
Galleria
Slideshow
Risultati della ricerca
A cosmology of datatypes : reusability and dependent types
Creatore:
Dagand, Pierre-Évariste
Data:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
Affina la ricerca
genere
Thesis
1
Tipo di risorsa
Doctoral thesis
1
Creatore
Dagand, Pierre-Évariste
[remove]
1
Dipartimento, Scuola o Facoltà
Department of Computer and Information Sciences
1
Data
2013
1