John__Launchbury
A Natural Semantics for Lazy Evaluation
Avoiding unnecessary updates
Lazy imperative programming
Monadic state: axiomatization and type safety
On embedding a microarchitectural design language within haskell
Warm fusion: Deriving build-catas from recursive definitions