Fully abstract translations between functional languages (preliminary report (1991)

by Jon G Riecke
Venue:In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Progmmming Languages