Skip to content

A Compilation Method for ML-Style Polymorphic Record Calculi.

Atsushi Ohori

VenueA*POPL
Year1992
ProceedingsPOPL

Browse the full POPL paper archive.