Skip to content
cs-conference-ranking.org

Type Isomorphisms in a Type-Assignment Framework.

Roberto Di Cosmo

VenueA*POPL
Year1992
ProceedingsPOPL
DBLP recordconf/popl/Cosmo92 ↗

Browse the full POPL paper archive.