A sufficiently smart compiler for procedural records.

Andrew W. Keep, R. Kent Dybvig

Browse the full ICFP paper archive.