Haskell retrospective
Multicore Haskell Now!
Nwdi Overview And Features
Secret Twists to Efficiently Develop Reactive Software Systems
The environment-based operational semantics Chapter 4.3 1.
Treantmonk's Guide to Bards Pathfind
The environment-based operational semantics
The Sequential Semantics of Producer Effect Systems
Chapter 14 and 15