conf.researchr.org / Michael Arntzenius
Michael Arntzenius

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
POPL 2020 Author of Seminaïve Evaluation for a Higher-Order Functional Language within the Research Papers-track
CurryOn 2018 Author of DB ⋈ FP = Datafun: a new functional query language within the Curry On Talks-track
HOPE 2018 Author of Finding fixed points faster within the HOPE 2018-track
ICFP 2016 Author of Datafun: A Functional Datalog within the Research Papers-track