Michael Arntzenius

Registered user since Tue 28 Aug 2018

Name:Michael Arntzenius
Affiliation:University of Birmingham, UK

Contributions

DPA 2019 Datafun: A higher-order functional Datalog
Show activities from other conferences

PLDI 2019-profile
View general profile