Obserwuj
Mitchell Pickard
Mitchell Pickard
Zweryfikowany adres z nottingham.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Calculating dependently-typed compilers (functional pearl)
M Pickard, G Hutton
Proceedings of the ACM on Programming Languages 5 (ICFP), 2021
102021
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.