Particularly recommended (meaning only that I found them particularly interesting when I first saw them): http://home.pipeline.com/~hbaker1/NoMotionGC.html htt

Particularly recommended (meaning only that I found them particularly interesting when I first saw them): http://home.pipeline.com/~hbaker1/NoMotionGC.html http://home.pipeline.com/~hbaker1/NoMotionGC.html (realtime garbage collection) http://home.pipeline.com/~hbaker1/Prag-Parse.html http://home.pipeline.com/~hbaker1/Prag-Parse.html (META parsing) http://home.pipeline.com/~hbaker1/LazyAlloc.html http://home.pipeline.com/~hbaker1/LazyAlloc.html ("CONS should not cons its arguments", a way of doing automatic memory management without giving up most of the benefits of stack allocation) http://home.pipeline.com/~hbaker1/CheneyMTA.html http://home.pipeline.com/~hbaker1/CheneyMTA.html (compiling Scheme into weird C whose function calls never return) http://home.pipeline.com/~hbaker1/Subtypep.html http://home.pipeline.com/~hbaker1/Subtypep.html (efficient type inference using bit vectors; see also TInference.html) http://home.pipeline.com/~hbaker1/ForthStack.html http://home.pipeline.com/~hbaker1/ForthStack.html (the relationship between "linear logic" (where a value can only be used once) and stack machines; Baker wrote several papers about "linear" programming; this stuff never really went anywhere, but it's interesting to think about) And, not at all a research paper, but I thought it was very funny: http://home.pipeline.com/~hbaker1/sigplannotices/gigo-1997-04.html http://home.pipeline.com/~hbaker1/sigplannotices/gigo-1997-0... (snarky satirical criticism of Ada).