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