Bridging the gulf: a common intermediate language for ML and Haskell (1998)

by S L Peyton Jones, J Launchbury, M Shields, A Tolmach
Venue:In ACM Symposium on Principles of Programming Languages