Mark Leone maintains a programming languages research nexus.

References

Alpha
Richard L Sites. Alpha AXP architecture. CACM36:?.
Appel
Andrew Appel. Compiling with Continuations. Cambridge University Press 1992.
Apply
L G C Hamey, J A Webb, I-Chien Wu. An Architecture Independent Programming Language for Low-Level Vision. Computer Vision, Graphics, and Image Processing48?:.
Blit
Rob Pike, Bart Locanthi, John Reiser. Hardware/Software Trade-offs for Bitmap Graphics on the Blit. Software-Practice and Experience15:131-151.
Cellang
Cellang. ? 1995. original.
chip-architecture-intro
John L Hennessy, David A Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann 1990.
CLtL
Guy Steele. Common Lisp the Language. Digital Press 1990. original.
cmix
Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. DIKU 1994.
collection-oriented-languages
Jay M Sipelstein, Guy E Blelloch. Collection-Oriented Languages. Proceedings of the IEEE?:?.
Consel90
Charles Consel. Binding Time Analysis for Higher Order Untyped Functional Languages. ACM Conference on Lisp and Functional Programming, 1990.
DCG
Dawson Englar, Todd Proebsting. DCG: An Efficient, Retargetable Dynamic Code Generation System. ASPLOS, 1994. original.
DeRe93
N Dershowitz, U Reddy. Deductive and Inductive Synthesis of Equational Programs. Journal of Symbolic Computation15:467-494.
DOOM
DOOM. id Software 1993. original.
Dragon
A V Aho, R Sethi, J D Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley 1986.
Draves95
Scott Draves. Lightweight Languages for Interactive Graphics. CMU-CS-95-148. original.
Elf
Frank Pfenning. Logic Programming in the LF Logical Framework. Logical Frameworks, 1991.
elisp
Richard Stallman. GNU Emacs Manual. Free Software Foundation 1987. original.
Explorer
IRIS Explorer. Numerical Algorithms Group, Ltd 1995. original.
Fabius
Mark Leone, Peter Lee. Lightweight Run-Time Code Generation. Partial Evaluation and Semantics-Based Program Manipulation, 1994. original. local.
FFvDH
Foley, Feiner, Andries van Dam, John Hughes. Computer Graphics: Principles and Practice. Addison-Wesley 1990.
fnord
Fnord: a Visualization System for Differential Geometry. Brown University 1991. original.
FriedmanWand84
Daniel P Friedman, Mitchell Wand. Reification: Reflection without Metaphysics. ACM Conference on Lisp and Functional Programming, 1984.
GCC
R M Stallman. Using and Porting GNU CC. Free Software Foundation 1989. original.
GluJo94
R Glück, J Jørgensen. Generating Optimizing Specializers. IEEE Computer Society International Conference on Computer Languages, 1994.
GluJo95
R Glück, J Jørgensen. Efficient Multi-Level Generating Extensions for Program Specialization. Programming Language Implementation and Logic Programming, 1995.
Henglein91
Fritz Henglein. Efficient Type Inference for Higher-Order Binding-Time Analysis. International Conference on Functional Programming Languages and Computer Architecture, 1991.
implementation-functional-languages
Simon L Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall 1987.
JoGoSe93
N Jones, C K Gomard, P Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall 1993.
JoSche86
Ulric Jørring, William Scherlis. Compilers and Staging Transformations. Principles of Programming Languages, 1986.
KeEgHe91
D Keppel, S J Eggers, R R Henry. A Case for Runtime Code Generation. UW-CSE-91-11-04. original.
KeEgHe93
D Keppel, S J Eggers, R R Henry. Evaluating Runtime-Compiled Value-Specific Optimizations. UW-CSE-91-11-04. original. local.
Kiczales92
Gregor Kiczales. Towards a New Model of Abstraction in the Engineering of Software. IMSA, 1992. original.
MediaProcessor
John Moussouris, Craig Hansen. Architecture of a Broadband Media Processor. Microprocessor Forum?:?. original.
MINT
J E Veenstra, R J Fowler. MINT: a front end for efficient simulation of shared-memory multiprocessors. Modeling and Simulation of Computers and Tlecommunications Systems, 1994.
Mogensen89
Torben Mogensen. Binding Time Aspects of Partial Evaluation. DIKU 1989.
Netscape
Netscape Navigator. Netscape Communications Corporation 1995. original.
OmniVM
Colusa Software. Omniware: A Universal Substrate for Mobile Code. WWW, 1995.
Photoshop
PhotoShop 3.0. Adobe Systems, Inc 1995. original.
PostScript
Adobe Systems, Inc. PostScript Language Reference Manual. Addison-Wesley 1990.
pre-scheme
Richard Kelsey. Pre-Scheme: A Scheme Dialect for Systems Programming. ?.
QD
QuickDraw GX. Apple Computer, Inc 1995. original.
R4RS
William Clinger, Jonathan Rees. Revised{}^4 Report on the Algorithmic Language Scheme. LISP PointersIV:1-55.
RenderMan
Steve Upstill. The RenderMan Companion: A Programmer's Guide to Realistic Computer Graphics. Addison-Wesley 1989.
Scheme48
Richard Kelsey, Jonathan Rees. A Tractable Scheme Implementation. Lisp and Symbolic Computation?:?. original.
Schism
Charles Consel. New Insights into Partial Evaluation: The Schism Experiment. European Symposium on Programming, 1988.
ScriptX
ScriptX. Kaleida Labs, Inc 1995. original.
Similix
A Bondorf, O Danvy. Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. Science of Computer Programming16:151-195.
Slicing
Susan Horwitz, Thomas Reps. The Use of Program Dependence Graphs in Software Engineering. ICSE, 1992. original. local.
Synthesis
Henry Massalin. Efficient Implementation of Fundamental Operating System Services. Columbia 1992.
tcltk
John Ousterhout. Tcl and the Tk Toolkit. Addison-Wesley 1994. original.
tempo
Charles Consel, Luke Hornof, Francois Noël, Jacque Noyé, Nicolae Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. Dagstuhl Workshop on Partial Evaluation, 1996.
tick-C
Dawson Engler, Wilson Hsieh, M Frans Kaashoek. `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation. Conference on Programming Language Design and Implementation, 1995. original. local.
Visual-Basic
Visual Basic v3.0 for Windows. Microsoft 1995. original.
WoLa91
Michael Wolf, Monica Lam. A Data Locality Optimizing Algorithm. Conference on Programming Language Design and Implementation, 1991.
yacc
Stephen C Johnson. YACC - Yet Another Compiler-Compiler. Bell Labs 1975.