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