A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A record calculus based on symmetric concatenation
1991
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91
Preserved Fulltext
Type systems for operations on extensible records form sumpt ion; we argue that the resulting system is more straightforward than subsumption-based alternatives.
doi:10.1145/99583.99603
dblp:conf/popl/HarperP91
fatcat:osrh6p3zsjg5fmbpalxo4markq