Michael Arntzenius

Registered user since Tue 28 Aug 2018

Name: Michael Arntzenius

Affiliation: University of Birmingham, UK

Contributions

DPA 2019Author of Datafun: A higher-order functional Datalog within the DPA-track
Show activities from other conferences

PLDI 2019-profile
View general profile