Readscheme.org
Partial Evaluation Bibliography Home
Surveys
Techniques
Lambda Calculus
Scheme
C
Java
Logic Program Specialization
Applications
Recent Additions
Browse by Author
Search...
Implementations
Past Events
Journal Special Issues
Implementations

Partial Evaluators for Scheme and Functional Programming Languages

Partial Evaluators for Scheme

  • Anders Bondorf. "Similix 5.0 Manual". 1993. Available online: ps pdf. Citation.
  • Christian Mossin. "Similix Binding Time Debugger Manual, system version 4.0". September 1991. Citation.
  • Charles Consel. "New Insights into Partial Evaluation: the SCHISM Experiment". 2nd European Symposium on Programming (ESOP '88). March 1988. Available online: ps pdf. Citation.
  • 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. Citation.
  • Charles Consel. "Report on Schism (Manual)". IRISA/University of Rennes I. January 1996. Available online: ps. Citation.
  • 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. Citation.
  • Peter Ørbæk. "POPE: An On-line Partial Evaluator". University of Aarhus. June 1994. Available online: ps. Citation.
  • Peter Thiemann. "Towards Partial Evaluation of Full Scheme". Reflection'96. April 1996. Available online: ps. Citation.
  • 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. Citation.
  • Peter Thiemann. "The PGG System - User Manual". University at Freiburg. March 2000. Available online: ps html. Citation.
  • 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. Citation.
  • Rajeev J. Surati. "Practical Partial Evaluation". Masters Thesis. Massachussets Institute of Technology. May 1995. Available online: ps pdf. Citation.
  • 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. Citation.

Partial Evaluators for ML

  • Simon Helsen and Peter Thiemann. "Polymorphic Specialization for ML". Transactions on Programming Languages and Systems (TOPLAS). 26(4). July 2004. Available online: ps pdf. Citation.
  • Simon Helsen. "Region-based Program Specialization". PhD. Thesis. Universität Freiburg. October 2002. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Binding-Time Analysis for Standard ML". Partial Evaluation and Program Manipulation (PEPM'94). June 1994. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Hand-Writing Program Generator Generators". PLILP 94. September 1994. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Binding-Time Analysis for Standard ML". Lisp and Symbolic Computation. 1995. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Partial Evaluation of Standard ML". Masters Thesis. DIKU, University of Copenhagen. October 1993. Available online: ps pdf. Citation.
  • Karoline Malmkjær, Nevin Heintze and Olivier Danvy. "ML Partial Evaluation using Set-Based Analysis". ACM SIGPLAN Workshop on Standard ML and its Applications (1994). 1994. Available online: ps pdf. Citation.

Partial Evaluators for Haskell

  • Silvano Dal-Zilio and John Hughes. "A self-applicable partial evaluator for a subset of Haskell". August 1993. Available online: ps pdf. Citation.
  • Kristoffer H. Rose. "Type-directed Partial Evaluation in Haskell". April 1998. Available online: ps pdf. Citation.

Last modified: Monday, February 16th, 2009 6:22:08pm
HTML generated using WebIt!.