Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mitchell Pickard
conf.researchr.org general profile
ICFP 2021 profile
Not registered as user yet
Name:
Mitchell Pickard
Country:
United Kingdom
Affiliation:
University of Nottingham
Contributions
2021
ICFP
Author of Calculating Dependently-Typed Compilers (Functional Pearl) within the Research Papers-track
Share
x
Thu 18 Apr 12:15