Michael Arntzenius -

Registered user since Tue 28 Aug 2018

Name:Michael Arntzenius

Affiliation:None

Personal website: https://www.rntz.net

X (Twitter): https://x.com/arntzenius

GitHub: https://github.com/rntz

Contributions

2025

POPL

Author of Finite-Choice Logic Programming within the POPL-track

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