Index Catalog // STAX

Filter löschen

Filtern nach: Schöpfer Dagand, Pierre-Évariste

1. A cosmology of datatypes : reusability and dependent types

Schöpfer:: Dagand, Pierre-Évariste
Datum:: 2013
Department, School or Faculty:: Department of Computer and Information Sciences