Login / Signup

Fully Abstract Translations between Functional Languages.

Jon G. Riecke
Published in: POPL (1991)
Keyphrases