A fully abstract translation between a -calculus with reference types and Standard ML (1995)

by E Ritter, A M Pitts
Venue:In 2nd Int. Conf. on Typed Lambda Calculus and Applications