La lecture à portée de main
Auteur
Suivre Dirk Kleeblatt
Documents
On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking [Elektronische Ressource] / Dirk Kleeblatt. Betreuer: Peter Pepper
Dirk Kleeblatt
Documents
Savoirs
On a Strongly Normalizing STG Machine with an Application to Dependent Type Checking [Elektronische Ressource] / Dirk Kleeblatt. Betreuer: Peter Pepper
Dirk Kleeblatt
148 pages
English