Michael Arntzenius

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 3

Top Topics

Logic Programming

Top Venues

Proc. ACM Program. Lang.

Publications

Robert J. Simmons, Michael Arntzenius, Chris Martens
Finite-Choice Logic Programming. CoRR (2024)
Michael Arntzenius, Neel Krishnaswami
Seminaïve evaluation for a higher-order functional language. Proc. ACM Program. Lang. 4 (POPL) (2020)
Michael Arntzenius, Neelakantan R. Krishnaswami
Datafun: a functional Datalog. ICFP (2016)