Skip to content

First-class Polymorphism with Type Inference.

Mark P. Jones

VenueA*POPL
Year1997
ProceedingsPOPL

Browse the full POPL paper archive.