Calculating Compilers Effectively (Functional Pearl).

Zac Garby, Graham Hutton, Patrick Bahr

Browse the full HASKELL paper archive.