Michael Arntzenius

According to our database, Michael Arntzenius authored at least 5 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Stream programs are monoid homomorphisms with state.

Tyler Hou, Michael Arntzenius, Max Willsey

CoRR, July, 2025

Finite-Choice Logic Programming.

Chris Martens, Robert J. Simmons, Michael Arntzenius

Proc. ACM Program. Lang., 2025

2022

Deconstructing Datalog.

Michael Arntzenius

PhD thesis, 2022

2020

Seminaïve evaluation for a higher-order functional language.

Michael Arntzenius, Neel Krishnaswami

Proc. ACM Program. Lang., 2020

2016

Datafun: a functional Datalog.

Michael Arntzenius, Neelakantan R. Krishnaswami

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016