
Registered user since Tue 28 Aug 2018
Name:Michael Arntzenius
Affiliation:University of Birmingham, UK
Contributions
POPL 2020 | Seminaïve Evaluation for a Higher-Order Functional Language | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile