Skip to content

Latest commit

 

History

History
190 lines (181 loc) · 58.6 KB

page10.md

File metadata and controls

190 lines (181 loc) · 58.6 KB
Raw

Partial Evaluation

Visit the NEW, more comprehensive "Online Bibliography of Partial Evaluation Research"

Tutorials and Surveys

  • Charles Consel and Olivier Danvy. "Tutorial Notes on Partial Evaluation". Principles of Programming Languages (POPL'93). January 1993. Available online: ps.
  • Charles Consel and Olivier Danvy. "Partial Evaluation: Principles and Perspectives". Journees Francophones des Langages Applicatifs. February 1993. Available online: ps.
  • Robert Gluck and Neil D. Jones. "Automatic program specialization by partial evaluation: an introduction". Software Engineering in Scientific Computing. 1996. Available online: ps.
  • John Hatcliff. "Foundations of Partial Evaluation and Program Specialization". Kansas State University. March 1999. Available online: course notes.
  • Neil D. Jones. "An Introduction to Partial Evaluation". ACM Computing Surveys. Vol. 28. No. 3. September 1996. Available online: ps.
  • Neil D. Jones. "MIX Ten Years Later". Partial Evaluation and Program Manipulation (PEPM '95). 1995. Available online: ps.
  • Neil D. Jones, Carsten K. Gomard and Peter Sestoft. "Partial Evaluation and Automatic Program Generation". 1993. Available online: ps pdf book website.
  • Darius Bacon. "A Hacker's Introduction to Partial Evaluation". The Lisp Magazine at lisp-p.org. August 2002. Available online: html.

Partial Evaluators for Scheme

  • Anders Bondorf. "Similix 5.0 Manual". 1993. Available online: ps pdf.
  • Charles Consel. "New Insights into Partial Evaluation: the SCHISM Experiment". 2nd European Symposium on Programming (ESOP '88). March 1988. Available online: ps pdf.
  • Charles Consel. "A tour of Schism: a partial evaluation system for higher-order applicative languages". ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93). June 1993. Available online: ps.
  • Charles Consel. "Report on Schism (Manual)". IRISA/University of Rennes I. January 1996. Available online: ps.
  • Jesper Jørgensen. "Similix: A Self-Applicable Partial Evaluator for Scheme". Partial Evaluation: Practice and Theory (DIKU International Summer School 1998). LNCS 1706. June 1998. Available online: html.
  • Peter Ørbaek. "POPE: An On-line Partial Evaluator". University of Aarhus. June 1994. Available online: ps.
  • Peter Thiemann. "Towards Partial Evaluation of Full Scheme". Reflection'96. April 1996. Available online: ps.
  • Peter Thiemann. "Aspects of the PGG System: Specialization for Standard Scheme". Partial Evaluation: Practice and Theory (DIKU International Summer School 1998). LNCS 1706. June 1998.
  • Peter Thiemann. "The PGG System - User Manual". University at Freiburg. March 2000. Available online: ps html.
  • Christian Mossin. "Similix Binding Time Debugger Manual, system version 4.0". September 1991.
  • Rajeev J. Surati. "Practical Partial Evaluation". Masters Thesis. Massachussets Institute of Technology. May 1995. Available online: ps pdf.
  • Richard Schooler. "Partial Evaluation as a Means of Language Extensibility". Masters Thesis. Massachusetts Institute of Technology. MIT/LCS/TR-324. August 1984. Available online: ps pdf.
  • Lennart Swart. "Partial Evaluation using Rewrite Rules: A Specification of a Partial Evaluator for Similix in Stratego". Masters Thesis. Utrecht University. August 2002. Available online: ps pdf.

Applications of Partial Evaluation

  • Anders Bondorf. "Compiling laziness by partial evaluation". Functional Programming, Glasgow 1990. 1990. Available online: ps pdf.
  • Olivier Danvy. "More about Formatting". Aarhus University. December 1993. Available online: ps pdf.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "Fast Partial Evaluation of Pattern Matching in Strings". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '03). 2003. Available online: ps pdf.
  • Andrew A. Berlin. "A Compilation Strategy for Numerical Programs Based on Partial Evaluation". Masters Thesis. February 1989. Available online: ps pdf.
  • Andrew A. Berlin and Daniel Weise. "Compiling Scientific Code Using Partial Evaluation". July 1989. Available online: ps pdf.
  • Andrew A. Berlin and Rajeev J. Surati. "Exploiting the Parallelism Exposed by Partial Evaluation". April 1993. Available online: ps pdf.
  • Andrew A. Berlin and Rajeev J. Surati. "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience". May 1994. Available online: ps pdf.
  • Rajeev J. Surati. "A Parallelizing Compiler Based on Partial Evaluation". Massachusetts Institute of Technology. AITR-1377. July 1993. Available online: ps pdf.
  • Olivier Danvy and Morten Rhiger. "Compiling Actions by Partial Evaluation, Revisited". Aarhus University. June 1998. Available online: ps pdf.
  • Anders Bondorf and Jens Palsberg. "Compiling actions by partial evaluation". Functional Programming and Computer Architecture (FPCA'93). June 1993. Available online: ACM Digital Library.
  • Anders Bondorf and Jens Palsberg. "Generating action compilers by partial evaluation". Journal of Functional Programming. 6(2). 1996.
  • Hidehiko Masuhara, Gregor Kiczales and Christopher Dutchyn. "A Compilation and Optimization Model for Aspect-Oriented Programs". Compiler Construction (CC2003). 2003. Available online: ps pdf.
  • Hidehiko Masuhara, Gregor Kiczales and Christopher Dutchyn. "Compilation Semantics of Aspect-Oriented Programs". Foundations Of Aspect-Oriented Languages (Workshop at AOSD 2002). April 2002. Available online: ps pdf.
  • Scott Draves. "Compiler Generation for Interactive Graphics using Intermediate Code". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • Scott Draves. "Automatic Program Specialization for Interactive Media". PhD. Thesis. Carnegie Mellon University. Available online: ps pdf.
  • Charles Consel and Olivier Danvy. "Partial Evaluation in Parallel". Lisp and Symbolic Computation. Volume 5. Issue 4. 1992. Available online: ps pdf.
  • David Herman and Philippe Meunier. "Improving the Static Analysis of Embedded Languages via Partial Evaluation". International Conference on Functional Programming (ICFP2004). September 2004. Available online: ps pdf.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "Fast Partial Evaluation of Pattern Matching in Strings". University of Aarhus. BRICS-RS-03-11. February 2003. Available online: ps pdf.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation". ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ASIA-PEPM '02. July 2002. Available online: ps pdf.
  • Torben Amtoft, Charles Consel, Olivier Danvy and Karoline Malmkjaer. "The Abstraction and Instantiation of String-Matching Programs". University of Aarhus. RS-01-12. April 2001. Available online: ps pdf.
  • Kenichi Asai, S. Matsuoka and Akinori Yonezawa. "Duplication and Partial Evaluation - For a Better Understanding of Reflective Languages". Lisp and Symbolic Computation. Vol. 9, Nos. 2/3. May/June 1996. Available online: ps.
  • Kenichi Asai, Hidehiko Masuhara, S. Matsuoka and Akinori Yonezawa. "Partial evaluation as a compiler for reflective languages". University of Tokyo. 95-10. December 1995. Available online: ps.
  • Kenichi Asai, S. Matsuoka and Akinori Yonezawa. "Roles of a Partial Evaluator for the Reflective Language Black". University of Tokyo. 94-11. May 1994. Available online: ps.
  • Kenichi Asai. "Online partial evaluation for shift and reset". Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (PEPM'02). January 2002. Available online: ps ACM Digital Library.
  • Kenichi Asai. "Can partial evaluation improve the performance of ray tracing?". Ochanomizu University. June 2002. Available online: ps.
  • Andrew A. Berlin and Rajeev J. Surati. "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). June 1994. Available online: ps pdf.
  • Andrew A. Berlin. "Partial evaluation applied to numerical computation". LISP and Functional Programming (LFP 1990). 1990. Available online: ACM Digital Library.
  • Andrew A. Berlin and Daniel Weise. "Compiling Scientific Code using Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-90-422. March 1990. Available online: ps pdf.
  • Wing-Yee Au, Daniel Weise and Scott Seligman. "Generating Compiled Simulations Using Partial Evaluation". 28th Design Automation Conference. June 1991. Available online: ps pdf.
  • Erik Ruf. "Partial Evaluation in Reflective System Implementations". OOPSLA'93 Workshop on Reflection and Metalevel Architecture. October 1993. Available online: ps pdf.
  • Charles Consel and Olivier Danvy. "Partial Evaluation of Pattern Matching in Strings". Information Processing Letters. Vol. 30. No. 2. January 1989. Available online: ps.
  • Olivier Danvy. "Semantics-Directed Compilation of Non-Linear Patterns". Information Processing Letters. Vol. 37. March 1991. Available online: ps.
  • Olivier Danvy, Juergen Koslowski and Karoline Malmkjaer. "Compiling Monads". Kansas State University. CIS-92-3. December 1991. Available online: ps pdf.
  • Olivier Danvy and Mayer Goldberg. "Partial Evaluation of the Euclidian Algorithm". Higher-Order and Symbolic Computing. Vol. 10. No. 2. July 1997. Available online: ps pdf.
  • Carsten K. Gomard and Neil D. Jones. "A Partial Evaluator for the Untyped Lambda Calculus". DIKU. D-15. January 1991. Available online: ps.
  • Carsten K. Gomard and Neil D. Jones. "Partial evaluation of lambda calculus". 1998 DIKU International Summerschool. LNCS 1706. 1999. Available online: ps pdf.
  • Jesper Jørgensen. "Generating a compiler for a lazy language by partial evaluation". Principles of Programming Languages (POPL'92). January 1992. Available online: ps ACM Digital Library.
  • Bernd Grobauer and Julia L. Lawall. "Partial Evaluation of Pattern Matching in Strings, revisited". BRICS report RS-00-31. September 2001. Available online: ps pdf.
  • Julia L. Lawall. "Proofs by structural induction using partial evaluation". Proceedings of the ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM'93). 1993. Available online: ACM Digital Library.
  • Hidehiko Masuhara. "Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages". PhD. Thesis. University of Tokyo. January 1999. Available online: ps pdf.
  • Hidehiko Masuhara and Akinori Yonezawa. "Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language". European Conference on Object-Oriented Programming (ECOOP'98). July 1998. Available online: ps pdf.
  • Christian Mossin. "Partial evaluation of general parsers". Proceedings of the ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM'93). 1993. Available online: ACM Digital Library.
  • Christian Queinnec and Jean-Marie Geffroy. "Partial evaluation applied to symbolic pattern matching with intelligent backtrack". WSA '92--Workshop on Static Analysis. September 1992. Available online: ps pdf.
  • Michael Sperber and Peter Thiemann. "The Essence of LR Parsing". Partial Evaluation and Semantics-Based Program Manipulation PEPM '95. June 1995. Available online: ps.
  • Peter Thiemann. "Compiling Adaptive Programs by Partial Evaluation". CC 2000. volume 1781 of Lecture Notes in Computer Science. March 2000. Available online: ps.
  • Karoline Malmkjaer and Olivier Danvy. "Preprocessing by Specialization". 1990.
  • Jesper Jørgensen. "Generating a Pattern Matching Compiler by Partial Evaluation". Glasgow Workshop on Functional Programming. July 1990. Available online: ps pdf.
  • Jesper Jørgensen. "Compiler Generation by Partial Evaluation". Masters Thesis. DIKU, University of Copenhagen. 1991. Available online: ps pdf.
  • Christian Mossin. "Partial evaluation of General Parsers". Partial Evaluation and Semantics Based Program Manipulation (PEPM'93). June 1993. Available online: ps pdf.
  • Olivier Danvy. "Across the Bridge between Reflection and Partial Evaluation". Partial Evaluation and Mixed Computation. 1988.
  • Charles Consel and Siau Cheng Khoo. "Semantics-directed generation of a Prolog compiler". Science of Computer Programming. volume 21. 1993. Available online: ps pdf.
  • Anders Bondorf. "A Self-Applicable Partial Evaluator for Term Rewriting Systems". Theory and Practice of Software Development (TAPSOFT '89). March 1989. Available online: ps pdf.

Theory and Techniques

  • Olivier Danvy. "Intensional and Extensional Aspects of Partial Evaluation". Aarhus University. March 1995. Available online: ps pdf.
  • Anders Bondorf and Jesper Jørgensen. "Efficient analyses for realistic off-line partial evaluation: extended version". University of Copenhagen. Technical Report 93/4. 1993. Available online: parts 1 and 3 (ps) part 2 (ps) parts 1 and 3 (pdf) part 2 (pdf).
  • Anders Bondorf and Jesper Jørgensen. "Efficient analyses for realistic off-line partial evaluation". Journal of Functional Programming. 3(3). July 1993.
  • Robert Gluck and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. 1996. Available online: ps pdf.
  • Robert Gluck and Jesper Jørgensen. "Efficient Multi-Level Generating Extensions for Program Specialization". Programming Languages: Implementations, Logics and Programs (PLILP'95). 1995. Available online: ps pdf.
  • Robert Gluck and Jesper Jørgensen. "Multi-Level Specialization (Extended Abstract)". Partial Evaluation: Practice and Theory 1998. 1998. Available online: ps pdf.
  • Olivier Danvy. "Online Type-Directed Partial Evaluation". Third Fuji International Symposium on Functional and Logic Programming, FLOPS '98. April 1998. Available online: ps pdf.
  • Rene Vestergaard. "From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation". Masters Thesis. Aarhus University. 1997. Available online: ps pdf.
  • Olivier Danvy. "Programming Techniques for Partial Evaluation". Marktoberdorf 1999. January 2000. Available online: ps pdf.
  • Karoline Malmkjaer. "On Static Properties of Specialized Programs". BIGRE journal. number 74. October 1991. Available online: ps pdf.
  • Karoline Malmkjaer. "Predicting Properties of Specialized Programs". Kansas State University. PhD proposal. November 1991. Available online: ps pdf.
  • Karoline Malmkjaer. "Predicting Properties of Residual Programs". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992.
  • Robert Gluck and A. V. Klimov. "Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree". Static Analysis 1993. 1993. Available online: ps pdf.
  • Christian Mossin. "Polymorphic Binding Time Analysis". Masters Thesis. DIKU, University of Copenhagen. July 1993. Available online: ps pdf.
  • Robert Gluck and Jesper Jørgensen. "Generating Optimizing Specializers". IEEE International Conference on Computer Languages. 1994. Available online: ps pdf.
  • Robert Gluck and Jesper Jørgensen. "Generating Transformers for Deforestation and Supercompilation". Static Analysis 1994. 1994. Available online: ps pdf.
  • Robert Gluck, John Hatcliff and Jesper Jørgensen. "Generalization in Hierarchies of Online Program Specialization Systems". Logic-Based Program Synthesis and Transformation 1999. 1999. Available online: ps pdf.
  • Arne J. Glenstrup. "Terminator II: Stopping Partial Evaluation of Fully Recursive Programs". Masters Thesis. DIKU, University of Copenhagen. June 1999. Available online: ps pdf.
  • Robert Gluck, Y. Kawada and T. Hashimoto. "Transforming Interpreters into Inverse Interpreters by Partial Evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2003). 2003. Available online: ps pdf.
  • Neil D. Jones and Arne J. Glenstrup. "Partial Evaluation Termination Analysis and Specialization-Point Insertion". Transactions on Programming Languages and Systems. 2004. Available online: ps pdf.
  • Arne J. Glenstrup. "Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis". December 2002. Available online: pdf.
  • Kenichi Asai. "Offline Partial Evaluation for Shift and Reset". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '04). August 2004. Available online: ps.
  • Kenichi Asai. "Binding-Time Analysis for Both Static and Dynamic Expressions". New Generation Computing. Vol. 20. No. 1. November 2001. Available online: ps.
  • Kenichi Asai. "Integrating Partial Evaluators into Interpreters,". Semantics, Applications, and Implementation of Program Generation. LNCS 2196. September 2001. Available online: ps.
  • Kenichi Asai. "Binding-Time Analysis for Both Static and Dynamic Expressions". Static Analysis. LNCS 1694. September 1999. Available online: ps.
  • Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa. "Partial Evaluation of Call-by-value Lambda-calculus with Side-effects". ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97). June 1997. Available online: ps.
  • Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa. "Partial Evaluation of Call-by-value lambda-calculus with Side-effects". University of Tokyo. 96-04. November 1996. Available online: ps.
  • J. Michael Ashley and Charles Consel. "Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs". ACM Transactions on Programming Languages and Systems. 16(5). September 1994. Available online: pdf.
  • Anders Bondorf. "Self-Applicable Partial Evaluation". PhD. Thesis. DIKU. 1990.
  • Anders Bondorf. "Automatic Autoprojection of Higher Order Recursive Equations". European Symposium on Programming (ESOP 1990). LNCS 432. May 1990. Available online: ps pdf.
  • Anders Bondorf. "Automatic Autoprojection of higher order recursive equations". Science of Computer Programming. volume 17. 1991. Available online: ps pdf.
  • Anders Bondorf and Olivier Danvy. "Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types". Science of Computer Programming. Vol. 16. 1991. Available online: ps.
  • Anders Bondorf. "Improving binding times without explicit CPS-conversion". Proceedings of the conference on Lisp and functional programming. June 1992. Available online: ACM Digital Library.
  • Anders Bondorf and Dirk Dussart. "Improving CPS-Based Partial Evaluation, Writing Cogen by Hand". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). June 1994. Available online: ps.
  • Charles Consel. "Analyse de Programmes, Evaluation Partielle et Generation de Compilateurs". PhD. Thesis. Universite de Paris VI. 1989.
  • Charles Consel. "Polyvariant binding-time analysis for higher-order, applicative languages". ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93). June 1993. Available online: ps.
  • Charles Consel and Siau Cheng Khoo. "On-line and Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs". Yale University. 1993. Available online: ps.
  • Charles Consel and Olivier Danvy. "From Interpreting to Compiling Binding Times". European Symposium on Programming (ESOP 1990). LNCS 432. May 1990. Available online: ps pdf.
  • Charles Consel and Olivier Danvy. "Static and Dynamic Semantics Processing". Principles of Programming Languages (POPL'91). January 1991. Available online: ps.
  • Charles Consel and Olivier Danvy. "For a Better Support of Static Data Flow". Functional Programming and Computer Architecture (FPCS'91). 1991. Available online: ps.
  • Olivier Danvy and Rene Vestergaard. "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation". University of Aarhus. BRICS 96-13. May 1996. Available online: ps pdf.
  • Olivier Danvy. "Type-Directed Partial Evaluation". Principles of Programming Languages (POPL'96). 1996. Available online: ps pdf.
  • Torben Æ. Mogensen. "Godelization in the untyped lambda calculus". Partial Evaluation and Semantics-Based Program Manipulation (PEPM99). January 1999. Available online: ps pdf.
  • Olivier Danvy and Rene Vestergaard. "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation". PLILP'96. 1996. Available online: ps pdf.
  • Olivier Danvy, Karoline Malmkjaer and Jens Palsberg. "The Essence of Eta-Expansion in Partial Evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). June 1994. Available online: ps.
  • Olivier Danvy, Karoline Malmkjaer and Jens Palsberg. "Eta-Expansion Does the Trick". Transactions on Programming Languages and Systems. Vol. 18. No. 4. November 1996. Available online: ps.
  • Olivier Danvy, Karoline Malmkjaer and Jens Palsberg. "Eta-Expansion Does the Trick". University of Aarhus. BRICS RS-95-41. November 1995. Available online: ps.
  • Olivier Danvy. "Pragmatics of Type-Directed Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • Robert Gluck and Jesper Jørgensen. "Multi-Level Specialization (Extended Abstract)". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. LNCS 1706. June 1998. Available online: ps pdf.
  • Robert Gluck and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. LNCS 1181. 1996. Available online: ps.
  • Robert Gluck and Jesper Jørgensen. "An Automatic Program Generator for Multi-Level Specialization". Higher-Order and Symbolic Computing. Vol. 10. No. 2. July 1997. Available online: ps pdf.
  • Bernd Grobauer. "Topics in Semantics-based Program Manipulation". PhD. Thesis. University of Aarhus. July 2001. Available online: ps pdf.
  • John Hatcliff and Robert Gluck. "Reasoning about Hierarchies of Online Program Specialization Systems". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps.
  • Simon Helsen and Peter Thiemann. "Two Flavors of Offline Partial Evaluation". Asian Computing Science Conference, ASIAN'98. December 1998. Available online: ps.
  • Simon Helsen and Peter Thiemann. "Fragmental Specialization". Semantics, Applications and Implementation of Program Generation (SAIG'00). volume 1927 of Lecture Notes in Computer Science. September 2000. Available online: ps.
  • Neil D. Jones. "Partial Evaluation and the Generation of Program Generators". DIKU. D-130. January 1992. Available online: ps.
  • Morry Katz and Daniel Weise. "Towards a New Perspective on Partial Evaluation". 1992 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Directed Program Manipulation, pp. 67-74, San Francisco, June, 1992. June 1992. Available online: ps pdf.
  • Morry Katz. "Towards a New Perspective on Partial Evaluation: Results, New Ideas, and Future Directions". Stanford Computer Systems Laboratory. June 1993. Available online: ps pdf.
  • Julia L. Lawall and Olivier Danvy. "Continuation-Based Partial Evaluation". 1994 ACM Conference on Lisp and Functional Programming. 1994. Available online: ps.
  • Julia L. Lawall and Olivier Danvy. "Continuation-Based Partial Evaluation". Computer Science Department, Brandeis University. Technical Report CS-95-178. February 1995. Available online: ps.
  • Karoline Malmkjaer. "Towards Efficient Partial Evaluation". Partial evaluation and semantics-based program manipulation (PEPM'93). August 1993. Available online: ps pdf.
  • Karoline Malmkjaer and Peter Ørbaek. "Polyvariant specialization for higher-order, block-structured languages". Partial evaluation and semantics-based program manipulation (PEPM'95). June 1995. Available online: ps ACM Digital Library.
  • Karoline Malmkjaer. "Program and Data Specialization Principles, Applications, and Self-Application". Masters Thesis. DIKU. August 1989. Available online: ps pdf.
  • Karoline Malmkjaer. "Abstract Interpretation of Partial-Evaluation Algorithms". PhD. Thesis. Kansas State University. 1993. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "On the Specialization of Online Program Specializers". Stanford Computer Systems Laboratory. CSL-TR-92-534. July 1992. Available online: ps pdf.
  • Erik Ruf. "Topics in Online Partial Evaluation". PhD. Thesis. March 1993. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Opportunities for Online Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-92-516. April 1992. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Avoiding Redundant Specialization During Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-92-518. April 1992. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis". 1992 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Directed Program Manipulation, pp. 67-74, San Francisco, June, 1992. June 1992. Available online: ps pdf.
  • Michael Sperber, Robert Gluck and Peter Thiemann. "Bootstrapping Higher-Order Program Transformers from Interpreters". Proceedings 11th Annual ACM Symposium on Applied Computing, SAC (SAC '96). February 1996. Available online: ps.
  • Michael Sperber and Peter Thiemann. "Realistic Compilation by Partial Evaluation". Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation. May 1996. Available online: ps.
  • Michael Sperber. "Self-Applicable Online Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • Michael Sperber and Peter Thiemann. "Two for the Price of One: Composing Partial Evaluation and Compilation". Proc. of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation. June 1997. Available online: ps.
  • Michael Sperber, Peter Thiemann and Herbert Klaeren. "Distributed Partial Evaluation". Proc. of the Second International Symposium on Parallel Symbolic Computation, PASCO'97. July 1997. Available online: ps.
  • Eijiro Sumii and Naoki Kobayashi. "Online-and-Offline Partial Evaluation: A Mixed Approach". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00). January 2000. Available online: ps.
  • Eijiro Sumii and Naoki Kobayashi. "A Hybrid Approach to Online and Offline Partial Evaluation". Higher-Order and Symbolic Computation. Vol. 14. No. 2/3. September 2001. Available online: ps pdf.
  • Eijiro Sumii. "A Hybrid Approach To Online And Offline Partial Evaluation". Masters Thesis. University of Tokyo. February 2000. Available online: ps pdf.
  • Eijiro Sumii and Naoki Kobayashi. "Online Type-Directed Partial Evaluation for Dynamically-Typed Languages". Computer Software. Vol. 17. No. 3. May 2000. Available online: ps pdf.
  • Rajeev J. Surati. "Practical Partial Evaluation". Masters Thesis. Massachussets Institute of Technology. May 1995. Available online: ps pdf.
  • Peter Thiemann and Dirk Dussart. "Partial Evaluation for Higher-Order Languages with State". July 1999. Available online: ps.
  • Peter Thiemann and Robert Gluck. "The Generation of a Higher-Order Online Partial Evaluator". Fuji Workshop on Functional and Logic Programming. July 1995. Available online: ps.
  • Peter Thiemann. "Cogen in Six Lines". Proc. ACM SIGPLAN International Conference on Functional Programming 1996. May 1996. Available online: ps.
  • Peter Thiemann and Michael Sperber. "Polyvariant Expansion and Compilergenerators". PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics. June 1996. Available online: ps.
  • Peter Thiemann. "Implementing Memoization for Partial Evaluation". Programming Languages, Implementations, Logics, and Programs (PLILP '96). volume 1140 of Lecture Notes in Computer Science. September 1996. Available online: ps.
  • Peter Thiemann. "Higher-Order Code Splicing". European Symposium on Programming, ESOP '99. volume 1576 of Lecture Notes in Computer Science. March 1999. Available online: ps.
  • Oscar Waddell and R. Kent Dybvig. "Visualizing partial evaluation". ACM Computing Surveys Symposium on Partial Evaluation. 30(3es):24-es. September 1998. Available online: ACM Digital Library.
  • Morten Rhiger. "A Study in Higher-Order Programming Languages". Masters Thesis. Aarhus University. December 1997. Available online: ps pdf.
  • Daniel Weise. "Graphs as an Intermediate Representation for Partial Evaluation". Stanford University. CSL-TR-90-421. March 1990. Available online: ps pdf.
  • Daniel Weise and Erik Ruf. "Computing Types During Program Specialization". Stanford University. CSL-TR-90-441. October 1990. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Using Types to Avoid Redundant Specialization". Partial Evaluation and Semantics-Directed Program Manipulation, PEPM'91. June 1991. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Preserving Information During Online Partial Evaluation". Stanford University. CSL-TR-92-517. April 1992. Available online: ps pdf.
  • Daniel Weise and Erik Ruf. "Computing Types During Program Specialization". Stanford Computer Systems Laboratory. December 1990. Available online: ps pdf.
  • Daniel Weise, Roland Conybeare, Erik Ruf and Scott Seligman. "Automatic Online Partial Evaluation". Proceedings of the Conference on Functional Programming Languages and Computer Architecture, 1991. June 1991. Available online: ps pdf.
  • Ulrik Pagh Schultz. "Explicit and Implicit Aspects of Scope and Block Structure". Masters Thesis. University of Aarhus. June 1997. Available online: ps pdf.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-dropping: transforming recursive equations into programs with block structure". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97). June 1997. Available online: ACM Digital Library.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure ". University of Aarhus. RS-97-6. March 1997. Available online: ps pdf.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure". Theoretical Computer Science. Volume 248/1-2. November 2000. Available online: ps pdf.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure ". University of Aarhus. RS-99-27. September 1999. Available online: ps pdf.
  • Saumya Debray. "Resource-bounded partial evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97). June 1997. Available online: ACM Digital Library.
  • Saumya Debray. "Resource-bounded partial evaluation". University of Arizona. January 1998. Available online: ps.
  • Olivier Danvy. "Across the Bridge between Reflection and Partial Evaluation". Partial Evaluation and Mixed Computation. 1988.