Simon L. Peyton Jones Mark Shields John Launchbury Andrew P. Tolmach Bridging the Gulf: A Common Intermediate Language for ML and Haskell. 49-61 1998 POPL http://doi.acm.org/10.1145/268946.268951 db/conf/popl/popl98.html#JonesSLT98