Datafun: a functional Datalog. - Michael Arntzenius; Neelakantan R. Krishnaswami (ICFP, 2016)

Seminaïve evaluation for a higher-order functional language. - Michael Arntzenius; Neel Krishnaswami (Proc. ACM Program. Lang., 2020)

Deconstructing Datalog. - Michael Arntzenius (2022)

Finite-Choice Logic Programming. - Chris Martens 001; Robert J. Simmons; Michael Arntzenius (Proc. ACM Program. Lang., 2025)

Stream programs are monoid homomorphisms with state. - Tyler Hou; Michael Arntzenius; Max Willsey (CoRR, 2025)