Skip to content
cs-conference-ranking.org

Fully Abstract Translations between Functional Languages.

Jon G. Riecke

VenueA*POPL
Year1991
ProceedingsPOPL
DBLP recordconf/popl/Riecke91 ↗

Browse the full POPL paper archive.