Skip to content

A Types-as-Sets Semantics for Milner-Style Polymorphism.

Mitchell Wand

VenueA*POPL
Year1984
ProceedingsPOPL

Browse the full POPL paper archive.