Skip to content

Data Types, Parameters, and Type Checking.

Alan J. Demers, James E. Donahue

VenueA*POPL
Year1980
ProceedingsPOPL

Browse the full POPL paper archive.