Skip to content

Extending Record Typing to Type Parametric Modules with Sharing.

Maria-Virginia Aponte

VenueA*POPL
Year1993
ProceedingsPOPL

Browse the full POPL paper archive.