Registered user since Tue 28 Aug 2018
Name: Michael Arntzenius
Affiliation: University of Birmingham, UK
Contributions
| DPA 2019 | Author of Datafun: A higher-order functional Datalog within the DPA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2019-profile
View general profile
View general profile