Extensions for Multi-Module Records in Conventional Programming Languages.

David R. Cheriton, Michael E. Wolf

Browse the full POPL paper archive.