We stand with Ukraine  

Michael Arntzenius

Orcid: 0009-0002-0417-5636

According to our database1, Michael Arntzenius authored at least 8 papers between 2016 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Finite Functional Programming.
[BibTeX]
[DOI]
Michael Arntzenius
,
Max Willsey
CoRR, April, 2026

Finite Functional Programming - or, LAMBDA: The Ultimate Predicate.
[BibTeX]
[DOI]
Michael Arntzenius
,
Max Willsey
Proceedings of the Functional and Logic Programming - 18th International Symposium, 2026

2025
Fair intersection of seekable iterators.
[BibTeX]
[DOI]
Michael Arntzenius
CoRR, October, 2025

Stream programs are monoid homomorphisms with state.
[BibTeX]
[DOI]
Tyler Hou
,
Michael Arntzenius
,
Max Willsey
CoRR, July, 2025

Finite-Choice Logic Programming.
[BibTeX]
[DOI]
Chris Martens
,
Robert J. Simmons
,
Michael Arntzenius
Proc. ACM Program. Lang., 2025

2022
Deconstructing Datalog.
[BibTeX]
[DOI]
Michael Arntzenius
PhD thesis, 2022

2020
Seminaïve evaluation for a higher-order functional language.
[BibTeX]
[DOI]
Michael Arntzenius
,
Neel Krishnaswami
Proc. ACM Program. Lang., 2020

2016
Datafun: a functional Datalog.
[BibTeX]
[DOI]
Michael Arntzenius
,
Neelakantan R. Krishnaswami
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016


  Loading...