A systematic derivation of the STG machine verified in Coq.

Maciej Pirg, Dariusz Biernacki

Browse the full HASKELL paper archive.