Michael Arntzenius
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 5 in the filters
on a stage with
- Chris Martensonce
- Robert J. Simmonsonce
who talks about the same things
- Chris Martens14 talks
- Steve Zdancewic19 talks
- Anton Lorenzen8 talks
- Philip Wadler14 talks
- Nada Amin26 talks
- Daan Leijen16 talks
| title | conference | date |
|---|---|---|
| Fair intersection of seekable iterators | miniKanren and Relational Programming Workshop 2025 | 2025-10-17 |
Proposes a compositional join implementation based on a seekable iterator interface that bounds work by interleaving calls, introducing a later constructor to… | ||
| Finite functional programming via graded effects and relevance types | HOPE 2025 | 2025-10-12 |
Proposes treating relations as functions equipped with their support so Datalog-style relations become finitely supported maps that can be represented as… | ||
| Finite-Choice Logic Programming | POPL 2025 | 2025-01-19 |
Defines a new semantics that replaces negation with explicit choices, formalizes rules as functions from databases to choice sets, and proves a… | ||
| Software patterns … from the 9th century?!! | !!Con West 2019 | 2019-03-25 |
Claim: changing fallow from half to a third yields 33% more food but deployment requires crop shifts to nitrogen‑fixing legumes, new tools like a heavier plow… | ||
| Datafun: a functional query language | Strange Loop 2017 | 2017-09-28 |
Datafun claims a minimal bridge between functional languages and database queries by adding set comprehensions and explicit fixpoints to a pure total language… | ||
| nothing matches | ||