Indeed. This was one of the last in a series of papers by Steele or both: http://library.readscheme.org/page1.html http://library.readscheme.org/page1.html Th

Indeed. This was one of the last in a series of papers by Steele or both: http://library.readscheme.org/page1.html http://library.readscheme.org/page1.html There's quite a bit of enlightenment to be found in them.