Bridging the Gulf: A Common Intermediate Language for ML and Haskell.

Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach

Browse the full POPL paper archive.