Skip to content
cs-conference-ranking.org

Positive Subtyping.

Martin Hofmann, Benjamin C. Pierce

VenueA*POPL
Year1995
ProceedingsPOPL
DBLP recordconf/popl/HofmannP95 ↗

Browse the full POPL paper archive.