Operations on Records.

Luca Cardelli, John C. Mitchell

Browse the full MFPS paper archive.