Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Arntzenius
conf.researchr.org general profile
ECOOP and ISSTA 2018 profile
ICFP 2016 profile
ICFP 2018 profile
ICFP 2023 profile
PLDI 2019 profile
POPL 2020 profile
SPLASH 2023 profile
Registered user since Tue 28 Aug 2018
Name:
Michael Arntzenius
Affiliation:
University of Birmingham, UK
Contributions
2023
SPLASH
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
miniKanren
Committee Member in Program Committee within the miniKanren 2023-track
2020
POPL
Author of Seminaïve Evaluation for a Higher-Order Functional Language within the Research Papers-track
2019
DPA
Author of Datafun: A higher-order functional Datalog within the DPA-track
2018
HOPE
Author of Finding fixed points faster within the HOPE 2018-track
CurryOn
Author of DB ⋈ FP = Datafun: a new functional query language within the Curry On Talks-track
2016
ICFP
Author of Datafun: A Functional Datalog within the Research Papers-track
Share
x
Tue 5 Dec 02:20
