Skip to content

Safe Type Checking in a Statically-Typed Object-Oriented Programming Language.

Kim B. Bruce

VenueA*POPL
Year1993
ProceedingsPOPL

Browse the full POPL paper archive.