Mark Leone maintains a programming languages research nexus.

References

Andersen94
Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. DIKU 1994.
ANSI90
ANSI. ANSI/ISO 9899-1990: Programming Languages - C. American National Standards Institute 1990.
ApMa91
Andrew W Appel, David B MacQueen. Standard ML of New Jersey. 3rd Symposium on Programming Language Implementation and Logic Programming, 1991.
Appel92
Andrew Appel. Compiling with Continuations. Cambridge University Press 1992.
ASeUl86
A V Aho, R Sethi, J D Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley 1986.
BiWe93
Lars Birkedal, Morten Welinder. Partial Ealuation of Standard ML. DIKU-TR-93-22.
BoDa91
A Bondorf, O Danvy. Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. Science of Computer Programming, 16:151-195.
BoDu93
Anders Bondorf, Dirk Dussart. Handwriting Cogen for a CPS-Based Partial Evaluator. Partial Evaluation and Semantics-Based Program Manipulation, 1994.
Bondorf92
Anders Bondorf. Improving binding times without explicit CPS-conversion. ACM Conference on Lisp and Functional Programming, 1992.
Carl96
Stephen Carl. Syntactic Exposures - A Lexically-Scoped Macro Facility for Extensible Compilers. University of Texas at Austin 1996.
ChaBleFi91
Siddhartha Chatterjee, Guy E Blelloch, Allan L Fisher. Size and Access Inference for Data-Parallel Programs. Conference on Programming Language Design and Implementation, 1991.
CHNNV96
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.
CoDa89
Charles Consel, Olivier Danvy. Partial Evaluation of Pattern Matching in Strings. Information Processing Letters, 30:79-86.
CoDa98
Charles Consel, Olivier Danvy. Partial Evaluation in Procedural Languages. MIT Press 1998.
Consel88
Charles Consel. New Insights into Partial Evaluation: The Schism Experiment. European Symposium on Programming, 1988.
Consel90
Charles Consel. Binding Time Analysis for Higher Order Untyped Functional Languages. ACM Conference on Lisp and Functional Programming, 1990.
Consel93
Charles Consel. Polyvariant Binding-Time Analysis For Applicative Languages. Partial Evaluation and Semantics-Based Program Manipulation, 1993.
CPHP87
P Caspi, D Pilaud, N Halbwachs, J A Plaice. Lustre: A Declarative Language for Programming Synchronous Systems. Principles of Programming Languages, 1987.
Danvy96
Olivier Danvy. Type-Directed Partial Evaluation. Principles of Programming Languages, 1996.
DaPfe96
Rowan Davies, Frank Pfenning. A Modal Analysis of Staged Computation. Principles of Programming Languages, 1996.
Detlefs96
David Detlefs. An Overview of the Extended Static Checking System. Workshop on Formal Methods in Software Practice, 1996.
Deutsch94
Alain Deutsch. Interprocedural May-Alias analysis for pointers: Beyond k-limiting. Conference on Programming Language Design and Implementation, 1994.
Draves95
Scott Draves. Lightweight Languages for Interactive Graphics. CMU-CS-95-148.
Draves96
Scott Draves. Compiler Generation for Interactive Graphics using Intermediate Code. Dagstuhl Workshop on Partial Evaluation, 1996.
Draves97
Scott Draves. Implementing Bit-addressing with Specialization. International Conference on Functional Programming, 1997.
EngKaOT95
Dawson Engler, M Frans Kaashoek, James O'Toole. Exokernel: An Operating System Architecture for Application-Level Resource Management. Symposium on Operating Systems Principles, 1995.
EnHsKa95
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.
FriWa84
Daniel P Friedman, Mitchell Wand. Reification: Reflection without Metaphysics. ACM Conference on Lisp and Functional Programming, 1984.
FuNoTa91
Yoshihiko Futamura, Kenroku Nogi, Aki Takano. The essence of generalized partial computation. Theoretical Computer Science, 90(1):61-79.
Futamura71
Y Futamura. Partial evalutaion of computation process - an approach to a compiler-compiler. Systems, Computers, Controls, 2:45-50.
GluJo94
Robert Glück, Jesper Jørgensen. Generating Optimizing Specializers. IEEE Computer Society International Conference on Computer Languages, 1994.
GluJo95
Robert Glück, Jesper Jørgensen. Efficient Multi-Level Generating Extensions for Program Specialization. Programming Language Implementation and Logic Programming, 1995.
GoJo91
Carsten K Gomard, Neil D Jones. A partial evaluator for the untyped lambda-calculus. Journal of Functional Programming, 1:21-69.
GoJoSte96
James Gosling, Bill Joy, Guy Steele. The Java Language Specification. Addison-Wesley 1996.
Graham94
Paul Graham. On Lisp: Advanced Techniques for Common LISP. Prentice-Hall 1994.
GuBoGaMa91
P le Guernic, M le Borgne, T Gauthier, C le Maire. Programing Real-Time applications with Signal. Proceedings of the IEEE, 79(9):1305-1320.
HaRe96
Mark Hayden, Robbert van Renesse. Optimizing Layered Communication Protocols. Cornell-TR96-1613.
Haynes93
Christopher Haynes. Infer: A Statically-typed Dialect of Scheme. Indiana-CS-TR-93-367.
Henglein91
Fritz Henglein. Efficient Type Inference for Higher-Order Binding-Time Analysis. International Conference on Functional Programming Languages and Computer Architecture, 1991.
HePa90
John L Hennessy, David A Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann 1990.
HiDyBru92
Robert Hieb, Kent Dybvig, Carl Bruggeman. Syntactic abstraction in scheme. Indiana University TR #355, 1992.
IEEE91
IEEE. IEEE Standard 1076: VHDL Language Reference Manual. IEEE 1991.
James1882
William James. Subjective Effects of Nitrous Oxide. Mind, 7.
JHHPW93
Simon L Peyton Jones, Cordy Hall, Kevin Hammond, Will Partain, Philip Wadler. The Glasgow Haskell compiler: a technical overview. UK Joint Framework for Information Technology (JFIT), 1993.
JoGoSe93
Neil D Jones, Carsten K Gomard, Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall 1993.
Johnson75
Stephen C Johnson. YACC - Yet Another Compiler-Compiler. Bell Labs 1975.
Jones88
Neil D Jones. Automatic Program Specialization: a Re-examination from Basic Principles. Partial Evaluation and Mixed Computation, 1988.
Jones91
Neil D Jones. Efficient Algebraic Operations on Programs. Algebraic Methodology and Software Technology, 1991.
JoSche86
Ulrik Jørring, William Scherlis. Compilers and Staging Transformations. Principles of Programming Languages, 1986.
JoSeSo85
Neil D Jones, P Sestoft, H Søndergaard. An experiment in partial evaluation: The generation of a compiler generator. Rewriting Techniques and Applications, Dijon, France, 1985.
KeEgHe91
D Keppel, S J Eggers, R R Henry. A Case for Runtime Code Generation. UW-CSE-91-11-04.
KFFD86
Eugene Kohlbecker, Daniel Friedman, Matthias Felleisen, Bruce Duba. Hygienic Macro Expansion. ACM Conference on Lisp and Functional Programming, 1986.
Lee89
Peter Lee. Realistic Compiler Generation. MIT Press 1989.
LeLe96
Peter Lee, Mark Leone. Optimizing ML with Run-Time Code Generation. Conference on Programming Language Design and Implementation, 1996.
Leroy92
Xavier Leroy. Unboxed objects and polymorphic typing. Principles of Programming Languages, 1992.
MiHraCru94
Melanie Mitchell, James Crutchfield, Peter Hraber. Evolving Cellular Automata to Perform Computations: Mechanisms and Impediments. Physica D, 75:361-391.
MiToHa90
Robin Milner, Mads Tofte, Robert Harper. The Definition of Standard ML. MIT 1990.
Mogensen89
Torben Mogensen. Binding Time Aspects of Partial Evaluation. DIKU 1989.
Mosses78
Peter Mosses. SIS, a Compiler-Generator System using Denotational Semantics. Aarhus-TR-1978.
Mossin93
Christian Mossin. Partial evaluation of General Parsers. Partial Evaluation and Semantics-Based Program Manipulation, 1993.
MuVoMa97
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Marlet. Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol. Partial Evaluation and Semantics-Based Program Manipulation, 1997.
PoEnKa97
Massimiliano Polleto, Dawson Engler, M Frans Kasshoek. tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. Conference on Programming Language Design and Implementation, 1997.
ProWa96
Todd Proebsting, Scott Watterson. Filter Fusion. Principles of Programming Languages, 1996.
PuMaIo88
Calton Pu, Henry Massalin, John Ioannidis. The Synthesis Kernel. Computing Systems, 1988.
R4RS
William Clinger, Jonathan Rees. Revised{}^4 Report on the Algorithmic Language Scheme. LISP Pointers, IV:1-55.
Reynolds97
John Reynolds. Programming Languages Core Course Notes. unpublished 1997.
Shivers91
Olin Shivers. Control-Flow Analysis of Higher-Order Languages. Carnegie Mellon University, School of Computer Science 1991.
SiHoMcA96
Satnam Singh, Jonathan Hogg, Derek McAuley. Expressing Dynamic Reconfiguaration by Partial Evaluation. Symposium on Field-Programmable Custom Computing Machines, 1996.
SoGluJo96
Morten Sørensen, Robert Glück, Neil Jones. A Positive Supercompiler. Journal of Functional Programming, 6(6):811-838.
Sperber96
Michael Sperber. Self-Applicable Online Partial Evaluation. Dagstuhl Workshop on Partial Evaluation, 1996.
SpeThi95
Michael Sperber, Peter Thiemann. The Essence of LR Parsing. Partial Evaluation and Semantics-Based Program Manipulation, 1995.
SSOG93
J Subhlok, J Stichnoth, D O'Hallaron, T Gross. Exploiting Task and Data Parallelism on a Multicomputer. Principles and Practice of Parallel Programming, 1993.
Steele90
Guy Steele. Common Lisp the Language. Digital Press 1990.
SteLe95
A Stepanov, M Lee. The Standard Template Library. Hewlett Packard Labs HPL-95-11.
Thiemann96
Peter Thiemann. Cogen in six lines. International Conference on Functional Programming, 1996.
ThoDa95
Nicholas Thompson, Roger Dannenberg. Optimizing Software Synthesis Performance. International Computer Music Conference, 1995.
TMCSHL96
D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee. TIL: A Type-Directed Optimizing Compiler for ML. Conference on Programming Language Design and Implementation, 1996.
Wadler88
Philip Wadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming, 1988.
WCRS91
Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman. Automatic online program specialization. International Conference on Functional Programming Languages and Computer Architecture, 1991.