Skip to content

A Theory of Type Qualifiers.

Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken

VenueA*PLDI
Year1999
ProceedingsPLDI

Browse the full PLDI paper archive.