• Sign in
  • Sign up
conf.researchr.org / Michael Arntzenius
  • ECOOP and ISSTA 2018 profile
  • ICFP 2016 profile
  • ICFP 2018 profile
  • ICFP 2023 profile
  • PLDI 2019 profile
  • POPL 2020 profile
  • SPLASH 2023 profile
Michael Arntzenius

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
xMon 2 Oct 19:12
using conf.researchr.org (v1.61.3)
Support page
Sign Up