Bibliography

other sources and related files here. Mark Leone maintains a programming languages research nexus.

Abelson88: The Lisp Experience; Harold Abelson, Matthew Halfant, Jacob Katzenelson, Gerald Jay Sussman; Annual Review of Computer Science 1988 3:167-95.
Abelson92: Hal Abelson's foreward to Essentials of Programming Languages; D P Friedman, M Wand, C T Haynes; MIT Press 1992. ISBN 0-262-06145-7 local.
Alpha: Alpha Architecture Reference Manual; ed Richard L Sites; Digital Press. ISBN 1-55558-098-X.
Appel: Compiling with Continuations; Andrew Appel; Cambridge University Press; ISBN 0-521-41695-7.
Apply: An Architecture Independent Programming Language for Low-Level Vision; L G C Hamey, J A Webb, I-Chien Wu; Computer Vision, Graphics, and Image Processing 48, 1989.
BaGluXX: Partial Evaluation of Numerical Programs in Fortran; R Baier, R Glück, R Zöchling; ????.
BiWe93: Partial Ealuation of Standard ML; Lars Birkedal, Morten Welinder; DIKU TR 93/22.
blit: Hardware/Software Trade-offs for Bitmap Graphics on the Blit; Rob Pike, Bart Locanthi, John Reiser; Software-Practice and Experience, Vol 15(2), 131-151 (Feb 1985).
blond: A Blond Primer; Olivier Danvy, Karoline Malmkjaer; DIKU TR 88/21.
BoDu93: Handwriting Cogen for a CPS-Based Partial Evaluator; Anders Bondorf, Dirk Dussart; ????93.
CAM: Cellular Automata Machines; Toffoli, Margolus; MIT Press. ISBN 0-262-20060-0.
ChaBleFi91: Size and Access Inference for Data-Parallel Programs. Siddhartha Chatterjee, Guy E Blelloch, Allan L Fisher. SIGPLAN91.
Chez: Cadence Research Systems; Bloomington Indiana; Chez Scheme. related paper by the same author. local.
CodeWarrior: Metrowerks Inc; St. Laurent, Canada; CodeWarrior(tm).
Consel90: Binding Time Analysis for Higher Order Untyped Functional Languages; Charles Consel; LFP90.
Consel93: Polyvariant Binding-Time Analysis For Applicative Languages; Charles Consel; PEPM93.
Cook84: Shade Trees; R L Cook; SIGGRAPH84.
CroWaWaSi92: Layering considered harmful; Crowcroft, Wakeman, Wang, Sirovica; 1/92 IEEE Networks.
CVL: CVL: A C Vector Library Manual, Version 2; Blelloch, Chatterjee, Hardwick, Reid-Miller, Sipelstein, Zagha; CMU-CS-93-114. local, original.
DCG: DCG: An Efficient, Retargetable Dynamic Code Generation System; Englar, Proebsting; ASPLOS94; local, original.
Dragon: Compilers: Principles, Techniques, and Tools; A V Aho, R Sethi, J D Ullman; Addison-Wesley 1986. ISBN 0-201-10088-6.
elisp: GNU Emacs Manual; Richard Stallman; Free Software Foundation 1987. manual
Fabius: Lightweight Run-Time Code Generation; Leone, Lee; PEPM94. local, original.
FraHa91: A Code Generation Interface for ANSI C; C W Fraser, D R Hanson; Software Practice and Experience 21(9) 1991.
Fuse: Towards a New Perspective on Partial Evaluation; Morry Katz, Daniel Weise; PEPM92. local.
Fuse: Graphs as an Intermediate Representation for Partial Evaluation; Weise; FUSE-MEMO-90-1; local, original archive.
GCC: Using and Porting GNU CC; R M Stallman; Free Software Foundation 1989. manual.
GluJoXX: Generating Optimizing Specializers; R Glück, J Jørgensen; ICCL94.
GoJo88: Compiler Generation by Partial Evaluation: a Case Study; Carsten Gomard, Neil Jones; DIKU TR 88/24. [good explanation of how self-application works via a flow-chart language].
GruZo92: CustoMalloc: Efficient Synthesized Memory Allocators; Dirk Grunwald, Benjamin Zorn; CU-CS-692-92.
GuSto82: A Language for Bitmap Manipulation; Leo Guibas, Jorge Stolfe; ACM Transactions on Graphics Vol 1 No 3 July 1982.
Heintze94: email 1994. local.
Henglein91: Efficient Type Inference for Higher-Order Binding-Time Analysis; Fritz Henglein; FPCA91.
HyperNeWS: ftp://ftp.win.tue.nl/pub/hypernews
IseSa93: Spyder: A Reconfigurable VLIW Processor using FPGAs. Christian Iseli, Eduardo Sanchez. IEEE Workshop on FPGAs for Custom Computing Machines 1993
JoGoSe93: Partial Evaluation and Automatic Program Generation; N Jones, C K Gomard, P Sestoft; Prentice-Hall 1993. ISBN 0-13-020249-5.
Jorgensen92: Generating a Compiler for a Lazy Language by Partial Evaluation; Jesper Jørgensen; POPL92.
JoSche86: Compilers and Staging Transformations; Ulric Jørring, William Scherlis; POPL86.
JoSeSo89: MIX: a self-applicable partial evaluator for experiments in compiler generation; Neil Jones, Peter Sestoft, Harald Søndergaard; LISP and Symbolic Computation, ,2(1):9-50, 1989.
KeEggeHe91: A Case for Runtime Code Generation; D Keppel, S J Eggers, R R Henry; UW-CSE-91-11-04. local, original.
KeEggHe93: Evaluating Runtime-Compiled Value-Specific Optimizations; D Keppel, S J Eggers, R R Henry; UW-CSE-91-11-04. local, original.
Kolmogorov: An introduction to Kolmogorov complexity and its applications; M Li, P M B Vitányi; Addison-Wesley 1992.
LaKiRoRu92: An Architecture for an Open Compiler; J Lamping, G Kiczales, L Rodriguez, E Ruf; IMSA92 (Workshop on Reflection and Meta-level Architectures).
Lampsons-hints: Hints for Computer System Design; Butler Lampson; SOSP83?.
Mogensen89: Binding Time Aspects of Partial Evaluation; Torben Mogensen; DIKU PhD thesis 89. TR#?
monads: The essence of functional programming (Invited talk); Philip Wadler; POPL92.
MOP: The Art of the Metaobject Protocol; Kiczales, des Rivieres, Bobrow; MIT Press. ISBN 0-262-61074-4.
NESL: NESL: A nested data-parallel language version 2.6; Guy Blelloch, Siddhartha Chatterjee; CMU-CS-93-129. local original.
On-Lisp: On Lisp: Advanced Techniques for Common LISP; Paul Graham; Prentice-Hall 1994. ISBN 0-13-030552-9 local.
Peachey94: personal email 1994.
pseudomonads: Building Interpreters by Composing Monads; G J Steele; POPL94.
PuWa93: A Study of Dynamic Optimization Techniques: Lessons and Directions in Kernel Design; Calton Pu, Jonathan Walpole; OGI-CSE-93-007.
r4rs: Revised 4 Report on the Algorithmic Language Scheme; ed William Clinger, Jonathan Rees. local.
RenderMan: The RenderMan Companion: A Programmer's Guide to Realistic Computer Graphics; Steve Upstill; Addison-Wesley. ISBN 0-201-50868-0.
SchemePaint: Programmable Applications: Interpreter Meets Interface; Michael Eisenberg; MIT AI Memo 1325 1991.
Schism: A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages; Charles Consel; ????
Schooler84: Partial Evaluation as a means of Language Extensibility; Richard Schooler; MIT-LCS-TR-324 1984. [online PE only]
self: http://self.stanford.edu
SiBle91: Collection-Oriented Languages. Jay M Sipelstein, Buy E Blelloch. Proceedings of the IEEE, April 1991.
Signal: Programing real time applications with Signal; P Le Guernic, M Le Borgne, T Gauthier, C Le Maire; Proceedings of the IEEE, Special Issue, Sept 1991.
Similix: Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types; Anders Bondorf, Olivier Danvy. DIKU TR 90-4.
Similix-doc: Similix 5.0 Manual; Bondorf. local.
Sims91: Artificial Evolution for Computer Graphics; Karl Sims; SIGGRAPH91.
SML/NJ: Standard ML of New Jersey; A Appel, D B MacQueen; PLILP91. local, archive
SPIN: SPIN---An Extensible Microkernel for Application-specific Operating System Services; Bershad, Chambers, Eggers, Maeda, McNamee, Pardyak, Savage, Sirer; UW-CSE-94-03-03. local, original nexus.
synthesis: Efficient Implementation of Fundamental Operating System Services; Henry Massalin; Columbia PhD thesis 1992.
Synthetix: Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems; Consel, Pu, Walpole; PEPM93. local.
ThoDa95: Optimizing Software Synthesis Performance; Nicholas Thompson, Roger Dannenberg; submitted to 1995 International Computer Music Conference. local.
tick-C: `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation; Dawson R Engler, Wilson C Hsieh, M Frans Kaashoek; submitted to PLDI95. local, original
Visual-Basic: Microsoft; Redmond Washington; Visual Basic v3.0 for Windows. original, in Excel, web nexus.
WiKa91: Reaction-Diffusion Textures; Andrew Witkin, Michael Kass; SIGGRAPH91.
WoLa91: A Data Locality Optimizing Algorithm. Michael Wolf, Monica Lam. SIGPLAN91.
YaSa: Qua-C: Binary Optimization for Fast Runtime Code Generation in C. Curtis Yarvin, Adam Sah. local.

Try to say this, Mr. Knox, please...

Through three cheese trees three free fleas flew. While these fleas flew, freezy breeze blew. Freezy breeze made these three trees freeze. Freezy trees made these trees' cheese freeze. That's what made these three free fleas sneeze.