Werke:
- Improvements in a functional core language with call-by-need operational semantics : [version 3.0]
- Rewriting of higher-order-meta-expressions with recursive bindings
- Improvements for Concurrent Haskell with Futures
- Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq