Skip to content

Type-Checking Higher-Order Polymorphic Multi-Methods.

Franois Bourdoncle, Stephan Merz

VenueA*POPL
Year1997
ProceedingsPOPL

Browse the full POPL paper archive.