Skip to content

Typing Algorithm in Type Theory with Inheritance.

Amokrane Sabi

VenueA*POPL
Year1997
ProceedingsPOPL

Browse the full POPL paper archive.