Write a Blog >>
Michael Arntzenius

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