Skip to content

A Record Calculus Based on Symmetric Concatenation.

Robert Harper, Benjamin C. Pierce

VenueA*POPL
Year1991
ProceedingsPOPL

Browse the full POPL paper archive.