2 citations · 2 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Fair intersection of seekable iterators
Michael Arntzenius
miniKanren's key semantic advance over Prolog is to implement a complete yet efficient search strategy, fairly interleaving execution between disjuncts. This fairness is accomplish…
cs.PL2025
Stream programs are monoid homomorphisms with state
Tyler Hou, Michael Arntzenius, Max Willsey
We define a broad class of deterministic stream functions and show they can be implemented as homomorphisms into a "state" monoid. The homomorphism laws are simpler than the condit…