Fully abstract translations between functional languages (1991)

by J G Riecke
Venue:in: 18th ACM POPL, ACM