Skip to content

Polymorphic Type Inference and Assignment.

Xavier Leroy, Pierre Weis

VenueA*POPL
Year1991
ProceedingsPOPL

Browse the full POPL paper archive.