Registered user since Tue 28 Aug 2018
Name:Michael Arntzenius
Affiliation:University of Birmingham, UK
Contributions
| ICFP 2016 | Datafun: A Functional Datalog | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2016-profile
View general profile
View general profile