Termination combinators forever.

Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis

Browse the full HASKELL paper archive.