Reed Mullanix
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| asai: a Library for Compiler Diagnostics | WITS 2024 | 2024-01-20 |
asai is an OCaml library that generates structured and partly‑unstructured compiler diagnostics, using algebraic effects to build semantic, user‑level… | ||
| An Order-Theoretic Analysis of Universe Polymorphism | POPL 2023 | 2023-01-15 |
Claims that universe polymorphism equals monads on strict partial orders and that every usable universe hierarchy embeds into newly defined displacement… | ||
| nothing matches | ||