Folgen
Mitchell Pickard
Mitchell Pickard
PhD Student, University of Nottingham
Bestätigte E-Mail-Adresse bei nottingham.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Calculating dependently-typed compilers (functional pearl)
M Pickard, G Hutton
Proceedings of the ACM on Programming Languages 5 (ICFP), 2021
102021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.