Skip to content

Final Data Tye Specifications: A New Data Type Specification Method.

Samuel N. Kamin

VenueA*POPL
Year1980
ProceedingsPOPL

Browse the full POPL paper archive.