Fully Abstract Translations between Functional Languages

Jon G. Riecke. Fully Abstract Translations between Functional Languages. In POPL. pages 245-254, 1991.

Abstract

Abstract is missing.