Følg
Mitchell Pickard
Mitchell Pickard
Verifisert e-postadresse på nottingham.ac.uk - Startside
Tittel
Sitert av
Sitert av
År
Calculating dependently-typed compilers (functional pearl)
M Pickard, G Hutton
Proceedings of the ACM on Programming Languages 5 (ICFP), 2021
102021
Systemet kan ikke utføre handlingen. Prøv på nytt senere.