A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
A sufficiently smart compiler for procedural records
2012
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming - Scheme '12
Many languages include a syntax for declaring programmerdefined structured data types, i.e., structs or records. R6RS supports syntactic record definitions but also allows records to be defined procedurally, i.e., via a set of run-time operations. Indeed, the procedural interface is considered to be the primitive interface, and the syntactic interface is designed to be macro expandable into code that uses the procedural interface. Run-time creation of record types has a potentially significant
doi:10.1145/2661103.2661107
dblp:conf/icfp/KeepD12
fatcat:lp3iltsnrffmlbqdpg3zarmare