Publication
Bounded incremental computation
Publication
Imperative functional programming
Publication
A short cut to deforestation
Publication
A Term Calculus for Intuitionistic Linear Logic
Publication
Generational garbage collection for Haskell
Publication