Maria-Virginia Aponte
Extending Record Typing to Type Parametric Modules with Sharing
POPL, 1993.
@inproceedings{POPL-1993-Aponte, author = "Maria-Virginia Aponte", booktitle = "{Conference Record of the 20th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/158511.158704", editor = "Mary S. Van Deusen and Bernard Lang", isbn = "0-89791-560-7", pages = "465--478", publisher = "{ACM Press}", title = "{Extending Record Typing to Type Parametric Modules with Sharing}", year = 1993, }