From 50e73e95a4cb516d4f8e4b11e8af9c4356d85b84 Mon Sep 17 00:00:00 2001 From: Lassi Kortela Date: Fri, 14 Jun 2024 21:26:37 +0300 Subject: [PATCH] Copy latest versions of bibliography pages from the complete, timestamped Wayback Machine snapshot. find websites -type f -name page1.html | sort | tail -n 1 find websites -type f -name page2.html | sort | tail -n 1 find websites -type f -name page3.html | sort | tail -n 1 find websites -type f -name page4.html | sort | tail -n 1 find websites -type f -name page5.html | sort | tail -n 1 find websites -type f -name page6.html | sort | tail -n 1 find websites -type f -name page7.html | sort | tail -n 1 find websites -type f -name page8.html | sort | tail -n 1 find websites -type f -name page9.html | sort | tail -n 1 find websites -type f -name page10.html | sort | tail -n 1 find websites -type f -name page11.html | sort | tail -n 1 find websites -type f -name pagexml.html | sort | tail -n 1 find websites -type f -name whats_new.html | sort | tail -n 1 cp websites/library.readscheme.org/20120812035354/page6.html www/ cp websites/library.readscheme.org/20120827190726/pagexml.html www/ cp websites/library.readscheme.org/20120829053307/page7.html www/ cp websites/library.readscheme.org/20120829063801/page8.html www/ cp websites/library.readscheme.org/20120829064413/page1.html www/ cp websites/library.readscheme.org/20120901141938/page4.html www/ cp websites/library.readscheme.org/20120902042428/page5.html www/ cp websites/library.readscheme.org/20121103124349/page10.html www/ cp websites/library.readscheme.org/20121103124354/page11.html www/ cp websites/library.readscheme.org/20121103124402/page3.html www/ cp websites/library.readscheme.org/20121103124410/whats_new.html www/ cp websites/library.readscheme.org/20121103124514/page2.html www/ cp websites/library.readscheme.org/20130102040805/page9.html www/ --- www/page1.html | 1 + www/page10.html | 1 + www/page11.html | 1 + www/page2.html | 1 + www/page3.html | 1 + www/page4.html | 1 + www/page5.html | 1 + www/page6.html | 1 + www/page7.html | 1 + www/page8.html | 1 + www/page9.html | 1 + www/pagexml.html | 1 + www/whats_new.html | 1 + 13 files changed, 13 insertions(+) create mode 100644 www/page1.html create mode 100644 www/page10.html create mode 100644 www/page11.html create mode 100644 www/page2.html create mode 100644 www/page3.html create mode 100644 www/page4.html create mode 100644 www/page5.html create mode 100644 www/page6.html create mode 100644 www/page7.html create mode 100644 www/page8.html create mode 100644 www/page9.html create mode 100644 www/pagexml.html create mode 100644 www/whats_new.html diff --git a/www/page1.html b/www/page1.html new file mode 100644 index 0000000..bfb06aa --- /dev/null +++ b/www/page1.html @@ -0,0 +1 @@ +The Original 'Lambda Papers' by Guy Steele and Gerald Sussman
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

The Original 'Lambda Papers' by Guy Steele and Gerald Sussman

  • Gerald Jay Sussman and Guy Lewis Steele, Jr.. "Scheme: An Interpreter for Extended Lambda Calculus". MIT AI Lab. AI Lab Memo AIM-349. December 1975. Available online: ps pdf.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "Lambda: The Ultimate Imperative". MIT AI Lab. AI Lab Memo AIM-353. March 1976. Available online: ps pdf.
  • Guy Lewis Steele, Jr.. "Lambda: The Ultimate Declarative". MIT AI Lab. AI Lab Memo AIM-379. November 1976. Available online: ps pdf.
  • Guy Lewis Steele, Jr.. "Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO". MIT AI Lab. AI Lab Memo AIM-443. October 1977. Available online: ps pdf.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "The Art of the Interpreter of, the Modularity Complex (Parts Zero, One, and Two)". MIT AI Lab. AI Lab Memo AIM-453. May 1978. Available online: ps pdf.
  • Guy Lewis Steele, Jr.. "RABBIT: A Compiler for SCHEME". Masters Thesis. MIT AI Lab. AI Lab Technical Report AITR-474. May 1978. Available online: ps pdf.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode". MIT AI Lab. AI Lab Memo AIM-514. March 1979. Available online: ps pdf.
  • Guy Lewis Steele, Jr.. "Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO". AI: An MIT Perspective. 1980.
  • Guy Lewis Steele, Jr.. "Debunking the "Expensive Procedure Call" Myth, or Procedure Call Implementations Considered Harmful, or LAMBDA, the Ultimate GOTO". ACM Conference Proceedings. 1977. Available online: ACM Digital Library.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "Design of a Lisp-based Processor". CACM. 23. 11. November 1980. Available online: ACM Digital Library.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:45pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page10.html b/www/page10.html new file mode 100644 index 0000000..d08a880 --- /dev/null +++ b/www/page10.html @@ -0,0 +1 @@ +Partial Evaluation
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

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 Glück 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 Ørbæk. "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 Malmkjær. "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 Malmkjær. "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 Malmkjær 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 Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. 1996. Available online: ps pdf.
  • Robert Glück 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 Glück 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.
  • René 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 Malmkjær. "On Static Properties of Specialized Programs". BIGRE journal. number 74. October 1991. Available online: ps pdf.
  • Karoline Malmkjær. "Predicting Properties of Specialized Programs". Kansas State University. PhD proposal. November 1991. Available online: ps pdf.
  • Karoline Malmkjær. "Predicting Properties of Residual Programs". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992.
  • Robert Glück 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 Glück and Jesper Jørgensen. "Generating Optimizing Specializers". IEEE International Conference on Computer Languages. 1994. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Generating Transformers for Deforestation and Supercompilation". Static Analysis 1994. 1994. Available online: ps pdf.
  • Robert Glück, 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 Glück, 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 Génération de Compilateurs". PhD. Thesis. Université 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 René 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. "Gödelization in the untyped lambda calculus". Partial Evaluation and Semantics-Based Program Manipulation (PEPM99). January 1999. Available online: ps pdf.
  • Olivier Danvy and René Vestergaard. "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation". PLILP'96. 1996. Available online: ps pdf.
  • Olivier Danvy, Karoline Malmkjær 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 Malmkjær 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 Malmkjær 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 Glück 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 Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. LNCS 1181. 1996. Available online: ps.
  • Robert Glück 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 Glück. "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 Malmkjær. "Towards Efficient Partial Evaluation". Partial evaluation and semantics-based program manipulation (PEPM'93). August 1993. Available online: ps pdf.
  • Karoline Malmkjær and Peter Ørbæk. "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 Malmkjær. "Program and Data Specialization Principles, Applications, and Self-Application". Masters Thesis. DIKU. August 1989. Available online: ps pdf.
  • Karoline Malmkjær. "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 Glück 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 Glück. "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.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:48pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page11.html b/www/page11.html new file mode 100644 index 0000000..58538cb --- /dev/null +++ b/www/page11.html @@ -0,0 +1 @@ +Reflection
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Reflection

  • Brian Cantwell Smith. "Reflection and Semantics in a Procedural Language". PhD. Thesis. Massachusetts Institute of Technology. MIT-LCS-TR-272. January 1982. Available online: pdf.
  • Brian Cantwell Smith. "Reflection and semantics in LISP". Principles of programming languages (POPL84). January 1984. Available online: ACM Digital Library.
  • Brian Cantwell Smith and Jim des Rivières. "Interim 3-LISP Reference Manual". Xerox PARC. 1984.
  • Jim des Rivières and Brian Cantwell Smith. "The implementation of procedurally reflective languages". 1984 ACM Symposium on LISP and functional programming. August 1984. Available online: ACM Digital Library.
  • Kenichi Asai. "Reflecting on the Metalevel Interpreter Written in Direct Style". International Lisp Conference 2003 (ILC 2003). October 2003. Available online: ps.
  • Olivier Danvy and Karoline Malmkjær. "A Blond Primer". DIKU. DIKU Rapport 88/21. October 1988. Available online: pdf.
  • Olivier Danvy and Karoline Malmkjær. "Intensions and Extensions in a Reflective Tower". Lisp and Functional Programming (LFP'88). 1988. Available online: ps.
  • Kenneth R. Anderson and Timothy J. Hickey. "Reflecting Java into Scheme". Proceedings of Reflection 99. Lecture Notes in Computer Science, v. 1616. 1999.
  • Daniel P. Friedman and Mitchell Wand. "Reification: Reflection Without Metaphysics". Conference Record of the 1984 ACM Symposium on LISP and Functional Programming. August 1984. Available online: ACM Digital Library.
  • Mitchell Wand. "The Mystery of the Tower Revealed: a Non-Reflective Description of the Reflective Tower". Proceedings of the 1986 ACM Symposium on LISP and Functional Programming. August 1986. Available online: ACM Digital Library.
  • Mitchell Wand and Daniel P. Friedman. "The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower". Meta-Level Architectures and Reflection. 1988.
  • Stanley Jefferson and Daniel P. Friedman. "A Simple Reflective Interpreter". Computer Science Department, Indiana University. September 1992. Available online: ps.
  • John Wiseman Simmons II and Daniel P. Friedman. "A Reflective System is as Extensible as its Internal Representations: An Illustration". Computer Science Department, Indiana University. October 1992. Available online: ps.
  • John Wiseman Simmons II, Stanley Jefferson and Daniel P. Friedman. "Language Extension via First-class Interpreters". Computer Science Department, Indiana University. September 1992. Available online: ps.
  • Guillermo J. Rozas. "Translucent Procedures, Abstraction Without Opacity". MIT AI Lab. AITR-1427. October 1993. Available online: ps pdf.
  • Christian Queinnec. "Macroexpansion reflective tower". Proceedings of the Reflection'96 Conference. April 1996. Available online: ps.
  • Suresh Jagannathan. "Reflective Building Blocks for Modular Systems". International Workshop on Reflection and Meta-Level Architectures. November 1992. Available online: ps.
  • Suresh Jagannathan and Gul Agha. "A Reflective Model of Inheritance". European Conference on Object-Oriented Programming (ECOOP 92). LNCS 615. June 1992. Available online: ps.
  • 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.
  • 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.
  • Olivier Danvy. "Across the Bridge between Reflection and Partial Evaluation". Partial Evaluation and Mixed Computation. 1988.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:49pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page2.html b/www/page2.html new file mode 100644 index 0000000..82049ba --- /dev/null +++ b/www/page2.html @@ -0,0 +1 @@ +Scheme, Language Features, and Semantics
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Scheme, Language Features, and Semantics

  • R. Kent Dybvig. "The Scheme Programming Language, Second Edition". 1996. Available online: html.
  • Jacob Matthews and Robert Bruce Findler. "An Operational Semantics for R5RS Scheme". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Olivier Danvy. "Towards compatible and interderivable semantic specifications for the Scheme programming language, part I: abstract machines, natural semantics, and denotational semantics". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Małgorzata Biernacka and Olivier Danvy. "Towards compatible and interderivable semantic specifications for the Scheme programming language, part II: reduction semantics and abstract machines". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Patrick Meredith, Mark Hills, and Grigore Rosu. "An Executable Rewriting Logic Semantics of K-Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Ken Dickey. "The Scheme Programming Language". Computer Language. June 1992. Available online: ps.
  • Norman I. Adams IV, Pavel Curtis and Mike Spreitzer. "First-class Data-type Representations in SchemeXerox". June 1993. Available online: ps.
  • Matthias Felleisen. "Lambda-v-CS: An Extended Lambda-Calculus for Scheme". Proceedings of the 1988 ACM conference on LISP and functional programming. July 1988. Available online: ACM Digital Library.
  • Matthias Felleisen. "The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control And State in Imperative Higher-Order Programming Languages". PhD. Thesis. Computer Science Technical Report 226. (Ph.D. Dissertation). August 1987. Available online: pdf.
  • Ian A. Mason. "The Semantics of Destructive Lisp". PhD. Thesis. Stanford University. 1986. Available online: pdf.
  • Carolyn Talcott. "The essence of Rum: A theory of the intensional and extensional aspects of Lisp-type computation". PhD. Thesis. Stanford University. August 1985. Available online: pdf.
  • Carolyn Talcott. "Programming and Proving with Function and Control Abstractions". Stanford University. CS-TR-89-1288. October 1989. Available online: pdf.
  • Matthias Felleisen. "(Y Y) Works! A Lecture on the Why of Y". Sept 1991. Available online: ps.
  • Matthias Felleisen and Robert Hieb. "The Revised Report on the Syntactic Theories of Sequential Control and State". Rice University. June 1989. Available online: ps.
  • Eric T. Freeman and Daniel P. Friedman. "Characterizing the Paralation Model using Dynamic Assignment". Computer Science Department, Indiana University. TR-348. March 1992. Available online: ps.
  • Shin-Der Lee and Daniel P. Friedman. "First-Class Extents". Computer Science Department, Indiana University. TR-350. March 1992. Available online: ps.
  • Shin-Der Lee and Daniel P. Friedman. "Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes". Computer Science Department, Indiana University. October 1992. Available online: ps.
  • John D. Ramsdell. "An Operational Semantics for Scheme". Lisp Pointers V(2). April-June 1992. Available online: ps.
  • John D. Ramsdell. "Scheme: The Next Generation". Lisp Pointers, Vol. VII, No. 4. October-December 1994. Available online: ps.
  • William D. Clinger. "Proper tail recursion and space efficiency". Proceedings of the 1998 ACM Conference on Programming Language Design and Implementation. June 1998. Available online: ps.
  • Jonathan A. Rees. "User-defined data types". Lisp Pointers. 'The Scheme of Things' (column). 1993. Available online: ps.
  • Guillermo J. Rozas. "Taming the Y Operator". Proceedings of the 1992 ACM Conference on Lisp and Functional Programming. June 1992. Available online: ps.
  • Guy Lewis Steele, Jr. and Richard Gabriel. "The Evolution of LISP". ACM SIGPLAN Notices, Vol 28(3), 231-270. March 1993. Available online: ps.
  • Carl Bruggeman, Oscar Waddell and R. Kent Dybvig. "Representing Control in the Presence of One-Shot Continuations". ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation. June 1996. Available online: ps.
  • J. Michael Ashley and R. Kent Dybvig. "An Efficient Implementation of Multiple Return Values in Scheme". 1994 ACM Conference on LISP and Functional Programming. June 1994. Available online: pdf.
  • Robert Hieb, R. Kent Dybvig and Claude W. Anderson III. "Subcontinuations". Lisp and Symbolic Computation. 7, 1. January 1994. Available online: ps.
  • R. Kent Dybvig and Robert Hieb. "A New Approach to Procedures with Variable Arity". Lisp and Symbolic Computation. 3, 3. September 1990. Available online: ps.
  • R. Kent Dybvig. "Chez Scheme User's Guide". 1998. Available online: html.
  • Alan Bawden. "Quasiquotation in Lisp". 1999. Available online: ps.
  • Alan Bawden. "Quasiquotation in Lisp". Partial Evaluation and Program Manipulation (PEPM99). 1999. Available online: ps.
  • Jonathan A. Rees and Norman I. Adams IV. "T: A dialect of Lisp or, Lambda: The ultimate software tool". Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming. 1982. Available online: ACM Digital Library.
  • Jonathan A. Rees, Norman I. Adams IV and James R. Meehan. "The T manual". Yale University Computer Science Department. 1984. Available online: text pdf.
  • Stephen Slade. "The T Programming Language: A Dialect of LISP". 1987.
  • Olin Shivers. "History of T". 2001. Available online: html.
  • Christian Queinnec and Pierre Weis. "Programmation applicative, état des lieux et perspectives". Technique et science informatiques. 15(7). 1996. Available online: ps pdf.
  • Sophie Anglade, Jean-Jacques Lacrampe and Christian Queinnec. "Semantics of combinations in scheme". Lisp Pointers. 7(4). October-December 1995. Available online: ps pdf.
  • Christian Queinnec. "A library of high-level control operators". Lisp Pointers. 6(4). October 1993. Available online: ps pdf.
  • Christian Queinnec. "Value transforming style". WSA '92--Workshop on Static Analysis. September 1992. Available online: .
  • Christian Queinnec. "Value transforming style". Laboratoire d'Informatique de l'École Polytechnique. Research Report LIX RR 92/07. May 1992. Available online: ps pdf.
  • Suresh Jagannathan. "Coercion as a Metaphor for Computation". IEEE International Conference on Computer Languages. August 1990. Available online: ps.
  • Suresh Jagannathan, David Gelernter and Tom London. "Environments as First-Class Objects". ACM Conference on Principles of Programming Languages (POPL87). January 1987. Available online: ps.
  • Luc Moreau. "A Syntactic Theory of Dynamic Binding". University of Southampton. Technical Report M96/4. 1996. Available online: ps.
  • Luc Moreau. "A Syntactic Theory of Dynamic Binding". International Joint Conference on Theory and Practice of Software Development (TAPSOFT/FASE'97). volume 1214 of Lecture Notes in Computer Science. April 1997. Available online: ps.
  • Luc Moreau, Daniel Ribbens and Pascal Gribomont. "Advanced Programming Techniques Using Scheme". Journées Francophones des Languages Applicatifs, Collection Didactique. February 1998. Available online: ps.
  • Luc Moreau. "A Syntactic Theory of Dynamic Binding". Higher-Order and Symbolic Computation. 11(3):233-279. December 1998.
  • Gerald Jay Sussman. "LISP, Programming and Implementation". Functional Programming and its Applications. 1982.
  • Carol Fessenden, William D. Clinger, Daniel P. Friedman and Christopher T. Haynes. "Scheme 311 version 4 Reference Manual". Indiana University. Computer Science Technical Report 137. February 1983.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "The Revised Report on Scheme, a Dialect of Lisp". Massachusetts Institute of Technology. MIT AI Memo 452. January 1978. Available online: ps pdf.
  • Uwe F. Pleban. "The Standard Semantics of a Subset of SCHEME, a Dialect of LISP". University of Kansas. Computer Science Technical Report TR-79-3. July 1979.
  • Steven S. Muchnick and Uwe F. Pleban. "A Semantic Comparison of Lisp and Scheme". Conference Record of the 1980 Lisp Conference. 1980. Available online: ACM Digital Library.
  • Uwe F. Pleban. "A Denotational Approach to Flow Analysis and Optimization of SCHEME, A Dialect of LISP". PhD. Thesis. Ph.D. Dissertation. 1980.
  • Mitchell Wand. "SCHEME Version 3.1 Reference Manual". Indiana University. Computer Science Technical Report 93. June 1980.
  • "MIT Scheme Manual". Massachusetts Institute of Technology. March 2002. Available online: html.
  • "MacScheme Reference Manual". Semantic Microsystems. 1985.
  • William D. Clinger, Daniel P. Friedman and Mitchell Wand. "A Scheme for a Higher-Level Semantic Algebra". Algebraic Methods in Semantics. 1985.
  • Matthias Felleisen and Daniel P. Friedman. "Control operators, the SECD-machine, and the lambda-calculus". 3rd Working Conference on the Formal Description of Programming Concepts. August 1986.
  • Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp: an Object-Oriented Scheme with First Class Types". ACM Conference on Object-Oriented Systems, Programming, Languages and Applications. September 1986. Available online: pdf ACM Digital Library.
  • William D. Clinger. "The Scheme of things: Streams versus Generators". Tektronix, Inc.. Technical Report. 1987.
  • Matthias Felleisen. "Reflections on Landin's J-Operator: A Partly Historical Note". Journal of Computer Languages. 12. 3/4. 1987.
  • Matthias Felleisen and Daniel P. Friedman. "A Reduction Semantics for Imperative Higher-Order Languages". Parallel Architectures and Languages Europe. 259. 1987.
  • Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker and Bruce F. Duba. "A Syntactic Theory of Sequential Control". Theoretical Computer Science. 52. 1987.
  • Bruce F. Duba, Matthias Felleisen and Daniel P. Friedman. "Dynamic Identifiers can be Neat". Indiana University. Computer Science Technical Report No. 220. April 1987.
  • Matthias Felleisen and Daniel P. Friedman. "A Calculus for Assignments in Higher-Order Languages". Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages. January 1987. Available online: ACM Digital Library.
  • Matthias Felleisen and Daniel P. Friedman. "A Syntactic Theory of Sequential State". Indiana University. Computer Science Dept. Technical Report 230. October 1987.
  • William D. Clinger. "Semantics of Scheme". BYTE. February 1988.
  • R. Kent Dybvig and Robert Hieb. "A Variable-Arity Procedural Interface". Proceedings of the 1988 ACM Symposium on LISP and Functional Programming. July 1988. Available online: ACM Digital Library.
  • Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp: an Object-Oriented Dialect of Scheme". Lisp and Symbolic Computation: An International Journal. 1. 1. May 1988. Available online: ps pdf.
  • Alain Deutsch, Renaud Dumeur, Charles Consel and Jean-Daniel Fekete. "CSKIM: An Extended Dialect of Scheme". BIGRE Bulletin. 65. July 1989.
  • Guy Lapalme and Marc Feeley. "Micro-Scheme". BIGRE Bulletin. 65. July 1989.
  • John Franco and Daniel P. Friedman. "Towards A Facility for Lexically Scoped, Dynamic Mutual Recursion in Scheme". Journal of Computer Languages. 15. 1. 1990.
  • John Franco, Daniel P. Friedman and Steven D. Johnson. "Multi-way Streams in Scheme". Journal of Computer Languages. 15. 2. 1990. Available online: ps.
  • Dorai Sitaram and Matthias Felleisen. "Control Delimiters and Their Hierarchies". Lisp and Symbolic Computation: An International Journal. 3. 1. January 1990. Available online: .
  • James S. Miller and Guillermo J. Rozas. "Free Variables and First-Class Environments". Lisp and Symbolic Computation: An International Journal. 3. 4. 1991.
  • Robert Bruce Findler and Matthias Felleisen. "Contracts for Higher-Order Functions". International Conference on Functional Programming (ICFP2002). October 2002. Available online: ps pdf.
  • Robert Bruce Findler and Matthias Felleisen. "Contracts for Higher-Order Functions". University of Chicago. October 2002. Available online: ps pdf.
  • Robert Bruce Findler. "Behavioral Software Contracts". PhD. Thesis. Rice University. May 2002. Available online: ps pdf.
  • Robert Bruce Findler, Matthias Blume and Matthias Felleisen. "An Investigation of Contracts as Projections". University of Chicago. TR-2004-02. April 2004. Available online: ps pdf.
  • Philip Wadler and Robert Bruce Findler. "Well-typed programs can't be blamed". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Christophe Scholliers, Eric Tanter and Wolfgang De Meuter. "Computational Contracts". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Sebastian Egner, Richard A. Kelsey and Michael Sperber. "Cleaning up the Tower: Numbers in Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • John Clements and Matthias Felleisen. "A Tail-Recursive Machine with Stack Inspection". Transactions on Programming Languages and Systems. 2004. Available online: pdf.
  • Gregory H. Cooper and Shriram Krishnamurthi. "Embedding Dynamic Dataflow in a Call-by-Value Language". European Symposium on Programming, 2006. 2006. Available online: downloadable paper.
  • Jeremy G. Siek and Walid Taha. "Gradual Typing for Functional Languages". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:45pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page3.html b/www/page3.html new file mode 100644 index 0000000..432729f --- /dev/null +++ b/www/page3.html @@ -0,0 +1 @@ +Macros
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Macros

  • David Herman and David Van Horn. "A few principles of macro design". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Ryan Culpepper and Matthias Felleisen. "A Stepper for Scheme Macros". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Ryan Culpepper and Matthias Felleisen. " Taming Macros". Generative Programming and Component Engineering (GPCE 2004). October 2004. Available online: ps pdf.
  • Ryan Culpepper and Matthias Felleisen. "Well-Shaped Macros". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • R. Kent Dybvig, Daniel P. Friedman and Christopher T. Haynes. "Expansion-Passing Style: A General Macro Mechanism". LISP and Symbolic Computation. 1(1). June 1988. Available online: pdf.
  • Matthew Flatt. "Composable and Compilable Macros: You Want it When?". International Conference on Functional Programming (ICFP'2002). 2002. Available online: pdf.
  • Oleg Kiselyov. "How to write seemingly unhygienic and referentially opaque macros with syntax-rules". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps pdf talk (pdf).
  • Oleg Kiselyov. "Macros that Compose: Systematic Macro Programming". Generative Programming and Component Engineering (GPCE'02). October 2002. Available online: ps talk (pdf).
  • Donovan Kolbly. "Extensible Language Implementation". PhD. Thesis. University of Texas. September 2002. Available online: ps.
  • Eugene E. Kohlbecker. "Syntactic Extensions in the Programming Language Lisp". PhD. Thesis. Indiana University. 1986. Available online: pdf.
  • Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen and Bruce F. Duba. "Hygienic macro expansion". Proceedings of the 1986 ACM Conference on LISP and Functional Programming. 1986. Available online: ACM Digital Library.
  • Eugene E. Kohlbecker and Mitchell Wand. "Macro-by-example: Deriving syntactic transformations from their specifications". Fourteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of programming languages. January 1987. Available online: ACM Digital Library.
  • Ana Bove and Laura Arbilla. "A confluent calculus of Macro expansion and evaluation". 1992 ACM conference on LISP and functional programming. 1992. Available online: ACM Digital Library.
  • Alan Bawden and Jonathan A. Rees. "Syntactic Closures". MIT AI Lab. AI Lab Memo AIM-1049. June 1988. Available online: ps pdf.
  • Alan Bawden and Jonathan A. Rees. "Syntactic closures". Proceedings of the 1988 ACM Conference on Lisp and Functional Programming. July 1988. Available online: ACM Digital Library.
  • William D. Clinger. "Macros in Scheme". Lisp Pointers. IV(4). December 1991. Available online: ps.
  • William D. Clinger. "Hygienic macros through explicit renaming". Lisp Pointers. IV(4). December 1991. Available online: ps.
  • William D. Clinger and Jonathan A. Rees. "Macros that work". Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages. January 1991. Available online: ACM Digital Library.
  • Jonathan A. Rees. "Implementing lexically scoped macros". Lisp Pointers. 'The Scheme of Things' (column). 1993. Available online: ps.
  • R. Kent Dybvig. "Writing Hygenic Macros in Scheme with Syntax-Case". Computer Science Department, Indiana University. TR-356. June 1992. Available online: ps.
  • Robert Hieb, R. Kent Dybvig and Carl Bruggeman. "Syntactic Abstraction in Scheme". Computer Science Department, Indiana University. TR-355. June 1992. Available online: ps.
  • Oscar Waddell and R. Kent Dybvig. "Extending the Scope of Syntactic Abstraction". Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1999. Available online: ps.
  • Oscar Waddell. "Extending the Scope of Syntactic Abstraction". PhD. Thesis. Indiana University Computer Science Department. August 1999. Available online: ps.
  • R. Kent Dybvig, Robert Hieb and Carl Bruggeman. "Syntactic abstraction in Scheme". Lisp and Symbolic Computation. 5, 4. December 1993. Available online: ps.
  • R. Kent Dybvig, Daniel P. Friedman and Christopher T. Haynes. "Expansion-Passing Style: A General Macro Mechanism". Lisp and Symbolic Computation. 1, 1. June 1988. Available online: ps.
  • R. Kent Dybvig, Daniel P. Friedman and Christopher T. Haynes. "Expansion-Passing style: Beyond Conventional Macros". Conference Record of the 1986 ACM Conference on Lisp and Functional Programming. 1986. Available online: ACM Digital Library.
  • Erik Hilsdale and Daniel P. Friedman. "Writing macros in continuation-passing style". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Oleg Kiselyov. "Re-writing abstractions, or Lambda: the ultimate pattern macro". December 2001. Available online: html.
  • Stephen Paul Carl. "Syntactic Exposures - A Lexically-Scoped Macro Facility for Extensible Compilers". Masters Thesis. December 1996. Available online: ps.
  • Shriram Krishnamurthi, Matthias Felleisen and Bruce F. Duba. "From Macros to Reusable Generative Programming". Rice University. TR 00-364. 2000. Available online: ps.
  • Shriram Krishnamurthi. "Linguistic Reuse". PhD. Thesis. Rice University. Available online: ps.
  • Jonathan A. Rees. "Modular Macros". Masters Thesis. MIT. 1989.
  • Matthias Blume. "Refining Hygienic Macros for Modules and Separate Compilation". ATR Human Information Processing Research Laboratories, Kyoto. ATR Technical Report TR-H-171. 1995. Available online: pdf.
  • Alan Bawden. "First-class macros have types". POPL '00: 27th ACM Symp. Princ. of Prog. Langs.. 2000. Available online: ps pdf.
  • Christian Queinnec and Julian Padget. "Modules, macros and Lisp". Eleventh International Conference of the Chilean Computer Science Society. October 1991. Available online: ps.
  • Christian Queinnec and Julian Padget. "A proposal for a modular Lisp with macros and dynamic evaluation". Journées de Travail sur l'Analyse Statique en Programmation Équationnelle, Fonctionnelle et Logique. October 1991. Available online: .
  • Christian Queinnec and Julian Padget. "A deterministic model for modules and macros". University of Bath. Bath Computing Group Technical Report 90-36. 1990. Available online: ps.
  • Chris Hanson. "A Syntactic Closures Macro Facility". Lisp Pointers. IV. 4. October-December 1991. Available online: ps.
  • Jean-Pierre Briot, Pierre Cointe and Emmanuel Saint-James. "Reécriture et récursion dans une fermeture - Etude dans un Lisp à liaison superficielle - Application aux objets". Actes des Journées AFCET-Informatique Langages Orientés Objet, BIGRE+Globule. 48. January 1986.
  • Shriram Krishnamurthi. "Automata as Macros". Journal of Functional Programming. 2005. Available online: downloadable paper.
  • Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt. "Advanced Macrology and the Implementation of Typed Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Keeping it Clean with syntax-parameterize. "Eli Barzilay, Ryan Culpepper, Matthew Flatt". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:45pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page4.html b/www/page4.html new file mode 100644 index 0000000..d315b19 --- /dev/null +++ b/www/page4.html @@ -0,0 +1 @@ +Object-Oriented Programming
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Object-Oriented Programming

  • Christopher Dutchyn, David B. Tucker and Shriram Krishnamurthi. "Semantics and Scoping of Aspects in Higher-Order Languages". Science of Computer Programming. 2006. Available online: downloadable paper.
  • Daniel Ignatoff, Gregory H. Cooper and Shriram Krishnamurthi. "Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages". Functional and Logic Programming Symposium. 2006. Available online: downloadable paper.
  • David Goldberg, Robert Bruce Findler, Matthew Flatt. "Super and Inner - Together at Last!". Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2004. Available online: pdf.
  • David Tucker and Shriram Krishnamurthi. "Pointcuts and Advice in Higher-Order Languages". Aspect-Oriented Software Development (AOSD 2003). April 2003. Available online: ps pdf.
  • David Tucker and Shriram Krishnamurthi. "A Semantics for Pointcuts and Advice in Higher-Order Languages". Brown University. Tech Report CS-02-13. 2003. Available online: ps pdf.
  • Hidehiko Masuhara and Gregor Kiczales. "Modeling Crosscutting in Aspect-Oriented Mechanisms". ECOOP2003. July 2003. Available online: pdf slides slides (pps).
  • Hidehiko Masuhara, Gregor Kiczales and Christopher Dutchyn. "A Compilation and Optimization Model for Aspect-Oriented Programs". Compiler Construction (CC2003). 2003. Available online: ps pdf.
  • Christopher Dutchyn, Gregor Kiczales and Hidehiko Masuhara. "AOP Language Exploration Using the Aspect Sand Box". Aspect-Oriented Software Development (AOSD 2002). April 2002.
  • 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.
  • Doug Orleans. "Incremental Programming with Extensible Decisions". Aspect-Oriented Software Development (AOSD 2002). April 2002. Available online: ps pdf slides.
  • Doug Orleans. "Incremental Programming with Extensible Decisions". Northeastern University. NU-CCS-02-01. October 2002. Available online: ps pdf.
  • Doug Orleans. "Programming Language Support For Separation Of Concerns". Northeastern University. April 2002. Available online: ps pdf.
  • Mitchell Wand, Gregor Kiczales and Christopher Dutchyn. "A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming". TOPLAS. 2003. Available online: ps.
  • Mitchell Wand, Gregor Kiczales and Christopher Dutchyn. "A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming". FOOL9 Workshop. 2002.
  • Stéphane Ducasse and Tamar Richner. "Executable Connectors: Towards Reusable Design Elements". ESEC/FSE'97 (European Software Engineering Conference). September 1997. Available online: pdf.
  • Stéphane Ducasse, Mireille Blay-Fornarino and Anne-Marie Pinna. "Object and Dependency Oriented Programming in FLO". ISMIS'96 (International Symposium on Methodologies for Intelligent Systems). June 1996. Available online: pdf.
  • Stéphane Ducasse, Mireille Blay-Fornarino and Anne-Marie Pinna. "A Reflective Model for First Class Dependencies". OOPSLA'95 (International Conference on Object - Oriented Programming Systems Languages and Applications). October 1995. Available online: pdf.
  • Stéphane Ducasse. "Inheritance Mechanism Reification by Means of First Class Object". International IJCAI'95 Workshop on Reflection and Meta - Level Architectures and their Applications in AI. 1995.
  • Stéphane Ducasse. "Reifying Inheritance in a Reflective Language". Université de Nice-Sophia Antipolis. I3S Lab RR-95-28. 1996. Available online: ps.
  • Stéphane Ducasse. "Intégration réflexive de dépendances dans un modèle à classes". PhD. Thesis. Université de Nice-Sophia Antipolis. January 1997. Available online: ps pdf.
  • Daniel P. Friedman. "Object-Oriented Style". International LISP Conference. October 2003. Available online: ps pdf.
  • Kurt Nørmark. "Simulation of Object-oriented Concepts and Mechanisms in Scheme". Aalborg University. R-90-01. 1990. Available online: ps.
  • Jonathan A. Rees and Norman I. Adams IV. "Object-oriented programming in Scheme". Proceedings of the 1988 ACM Conference on Lisp and Functional Programming. 1988. Available online: ps.
  • Robert Bruce Findler and Matthew Flatt. "Modular Object-Oriented Programming with Units and Mixins". Proceedings of ICFP 98. 1998. Available online: pdf ps.
  • Matthew Flatt, Shriram Krishnamurthi and Matthias Felleisen. "Classes and Mixins". Proceedings of POPL 98. 1998. Available online: ps.
  • Matthew Flatt. "Programming Languages for Reusable Software Components". PhD. Thesis. Rice University. Available online: ps.
  • Christian Queinnec. "Designing MEROON v3". Object-Oriented Programming in Lisp: Languages and Applications. September 1993. Available online: ps.
  • Christian Queinnec. "MEROON: A small, efficient and enhanced object system". École Polytechnique. Technical Report LIX.RR.92.14. November 1991. Available online: ps.
  • Ken Dickey. "Scheming with Objects". Computer Language. October 1992. Available online: ps.
  • Sho-Huan Simon Tung. "Merging Interactive, Modular and Object-Oriented Programming". PhD. Thesis. Computer Science Department, Indiana University. TR-349. March 1992. Available online: ps.
  • Kenneth Haase. "Soft Objects: A Paradigm For Object Oriented Programming". MIT AI Lab. AIM-1014. March 1990. Available online: ps pdf.
  • Manuel Serrano. "Wide Classes". European Conference on Object-Oriented Programming, ECOOP'99. June 1999. Available online: ps.
  • Steven E. Ganz and Daniel P. Friedman. "A Modular Monadic Interpreter In Scheme With Objects". Indiana University Computer Science Department. Technical Report #548. October 2000. Available online: ps pdf.
  • Christian Queinnec. "Fast and compact dispatching for dynamic object-oriented languages". Information Processing Letters. 64(6). January 1998. Available online: ps.
  • Suresh Jagannathan and Gul Agha. "A Reflective Model of Inheritance". European Conference on Object-Oriented Programming (ECOOP 92). LNCS 615. June 1992. Available online: ps.
  • Wolfgang Kreutzer and Malcolm Stairmand. "C-Flavours: A Scheme-based Flavour System with Co-routines and its Application to the Design of Object-Oriented Software". Journal of Computer Languages. Vol. 15. Num. 4. 1990.
  • Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp: an Object-Oriented Scheme with First Class Types". ACM Conference on Object-Oriented Systems, Programming, Languages and Applications. September 1986. Available online: pdf ACM Digital Library.
  • Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp: an Object-Oriented Dialect of Scheme". Lisp and Symbolic Computation: An International Journal. 1. 1. May 1988. Available online: ps pdf.
  • Julia L. Lawall and Daniel P. Friedman. "Embedding the Self Language in Scheme". BIGRE Bulletin. 65. July 1989.
  • J. C. Royer, J. P. Braquelaire, P. Casteran, M. Desainte-Catherine and J. G. Penaud. "Le modo'e(ga'le OBJScheme: principes et applications". BIGRE Bulletin. 65. July 1989.
  • Barak A. Pearlmutter and Kevin J. Lang. "The Implementation of Oaklisp". Topics in Advanced Language Implementation. 1991.
  • Kenjiro Taura, Akinori Yonezawa. "Schematic: A Concurrent Object-Oriented Extension to Scheme". Workshop on Object-Based Parallel and Distributed Computing (OBPDC'96). 1996. Available online: ps.
  • 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.
  • 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.
  • Jean-Pierre Briot, Pierre Cointe and Emmanuel Saint-James. "Reécriture et récursion dans une fermeture - Etude dans un Lisp à liaison superficielle - Application aux objets". Actes des Journées AFCET-Informatique Langages Orientés Objet, BIGRE+Globule. 48. January 1986.
  • Thant Tessman. "Adding Generic Functions to Scheme". SIGPLAN Notices. Volume 30. Number 5. May 1995. Available online: pdf.
  • Carl Eastlund and Matthias Felleisen. "Sequence Traces for Object-Oriented Executions". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:45pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page5.html b/www/page5.html new file mode 100644 index 0000000..f0c2647 --- /dev/null +++ b/www/page5.html @@ -0,0 +1 @@ +Modules and Component-Oriented Programming
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Modules and Component-Oriented Programming

  • Christian Queinnec. "23 things I know about modules for Scheme". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps pdf.
  • Matthew Flatt. "Composable and Compilable Macros: You Want it When?". International Conference on Functional Programming (ICFP'2002). 2002. Available online: pdf.
  • Richard A. Kelsey and Jonathan A. Rees. "Modules (in 'The Incomplete Scheme48 Reference Manual for release 0.57')". 2001. Available online: html ps.
  • Pavel Curtis and James Rauen. "A Module System for Scheme". Proceedings of the 1990 ACM Conference on Lisp and Functional Programming. June 1990. Available online: ps ps pdf.
  • Jonathan A. Rees. "A Security Kernel Based on the Lambda-Calculus". PhD. Thesis. February 1995. Available online: ps.
  • Matthew Flatt and Matthias Felleisen. "Units: Cool Modules for HOT Languages". Proceedings of PLDI 98. 1998. Available online: ps.
  • Robert Bruce Findler and Matthew Flatt. "Modular Object-Oriented Programming with Units and Mixins". Proceedings of ICFP 98. 1998. Available online: pdf ps.
  • Matthew Flatt. "Programming Languages for Reusable Software Components". PhD. Thesis. Rice University. Available online: ps.
  • Sho-Huan Simon Tung. "Interactive Modular Programming in Scheme". Proceedings of the 1992 ACM Conference on Lisp and Functional Programming. June 1992. Available online: ps.
  • Sho-Huan Simon Tung. "Merging Interactive, Modular and Object-Oriented Programming". PhD. Thesis. Computer Science Department, Indiana University. TR-349. March 1992. Available online: ps.
  • Oscar Waddell and R. Kent Dybvig. "Extending the Scope of Syntactic Abstraction". Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1999. Available online: ps.
  • Sho-Huan Simon Tung and R. Kent Dybvig. "Reliable Interactive Programming with Modules". Lisp and Symbolic Computation. 9, 4. December 1996. Available online: ps.
  • Paul A. Steckler. "Component Support in PLT Scheme". Software Practice and Experience. 32. 10. 2002.
  • Paul A. Steckler. "Component support for PLT Scheme". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Paul A. Steckler. "MysterX: A Scheme Toolkit for Building Interactive Applications with COM". Proceedings of TOOLS 99. 1999. Available online: ps.
  • Augustin Lux. "Tools for Automatic Interface Generation in Scheme". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Martin Gasbichler, Holger Gast. "Soft Interfaces: Typing Scheme At The Module Level". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Matthias Blume. "Separate Compilation for Scheme, draft paper". 1997. Available online: pdf.
  • Frédéric Peschanski, Christian Queinnec and Jean-Pierre Briot. "A typeful composition model for dynamic software architectures". July 2001. Available online: ps pdf.
  • Christian Queinnec and David DeRoure. "Sharing code through first-class environments". Proceedings of ICFP'96 International Conference on Functional Programming. May 1996. Available online: ps.
  • Christian Queinnec and Julian Padget. "Modules, macros and Lisp". Eleventh International Conference of the Chilean Computer Science Society. October 1991. Available online: ps.
  • Christian Queinnec and Julian Padget. "A proposal for a modular Lisp with macros and dynamic evaluation". Journées de Travail sur l'Analyse Statique en Programmation Équationnelle, Fonctionnelle et Logique. October 1991. Available online: .
  • Christian Queinnec and Julian Padget. "A deterministic model for modules and macros". University of Bath. Bath Computing Group Technical Report 90-36. 1990. Available online: ps.
  • Suresh Jagannathan. "Meta-Level Building Blocks for Modular Systems". ACM Transactions on Programming Languages and Systems. May 1994. Available online: ps.
  • Suresh Jagannathan. "Dynamic Modules in Higher-Order Languages". IEEE International Conference on Computer Languages. May 1994. Available online: ps.
  • Suresh Jagannathan. "Reflective Building Blocks for Modular Systems". International Workshop on Reflection and Meta-Level Architectures. November 1992. Available online: ps.
  • Matthias Felleisen and Daniel P. Friedman. "A Closer Look At Export and Import Statements". Journal of Computer Languages. 11. 1. 1986.
  • Guruduth S. Banavar. "An Application Framework For Compositional Modularity". PhD. Thesis. University of Utah. 1995. Available online: ps pdf.
  • Andrew Keep and R. Kent Dybvig. "Enabling cross-library optimization and compile-time error checking in the presence of procedural macros". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:46pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page6.html b/www/page6.html new file mode 100644 index 0000000..9c3596a --- /dev/null +++ b/www/page6.html @@ -0,0 +1 @@ +Continuations and Continuation Passing Style
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Continuations and Continuation Passing Style

  • Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi and Matthias Felleisen. "Continuations from Generalized Stack Inspection". International Conference on Functional Programming, ICFP 2005. September 2005. Available online: downloadable paper.
  • Chung-chieh Shan. "Shift to Control". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Martin Gasbichler, Eric Knauel, Michael Sperber and Richard A. Kelsey. "How to Add Threads to a Sequential Language Without Getting Tangled Up". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Dorai Sitaram. "Unwind-protect in portable Scheme". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Olivier Danvy. "Three Steps for the CPS Transformation". Kansas State University. CIS-92-02. December 1991. Available online: ps.
  • Olivier Danvy. "On some Functional Aspects of Control". Workshop on the Implementation of Lazy Functional Languages. October 1988. Available online: ps pdf.
  • William D. Clinger, Anne Hartheimer and Eric M. Ost. "Implementation strategies for continuations". Vol. 12. No. 1. 1999.
  • Olivier Danvy. "Formalizing Implementation Strategies for First-Class Continuations". European Symposium on Programming (ESOP 2000). LNCS 1782. April 2000. Available online: ps pdf.
  • Olivier Danvy. "Back to Direct Style". European Symposium on Programming (ESOP 1992). LNCS 582. February 1992. Available online: ps.
  • Michael Sperber and Martin Gasbichler. "Final shift for call/cc: Direct implementation of shift and reset". International Conference on Functional Programming (ICFP'2002). October 2002. Available online: ps.
  • Martin Gasbichler, Michael Sperber. "A Direct Implementation of Shift/Reset". IFL 2001. 2001.
  • Paul T. Graunke and Shriram Krishnamurthi. "Advanced Control Flows for Flexible Graphical User Interfaces". International Conference on Software Engineering. 2002. Available online: ps pdf.
  • Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen. "Automatically Restructuring Programs for the Web". IEEE International Symposium on Automated Software Engineering (ASE 2001). 2001. Available online: ps pdf.
  • Paul T. Graunke, Shriram Krishnamurthi, Van der Hoeven and Matthias Felleisen. "Programming the Web with High-Level Programming Languages". European Symposium on Programming (ESOP 2001). 2001. Available online: ps pdf.
  • Olivier Danvy. "Programming with Tighter Control". BIGRE Bulletin. 65. July 1989.
  • Olivier Danvy. "On listing list prefixes". Lisp Pointers. Vol. 2. No. 3-4. January 1989.
  • Mitchell Wand. "Continuation-Based Program Transformation Strategies". Journal of the ACM. 27. 1. January 1980. Available online: ACM Digital Library.
  • Mitchell Wand and Daniel P. Friedman. "Compiling Lambda Expressions Using Continuations and Factorizations". Journal of Computer Languages. 3. 1978.
  • Mitchell Wand. "Continuation-Based Multiprocessing". Conference Record of the 1980 Lisp Conference. 1980. Available online: ACM Digital Library.
  • R. Kent Dybvig and Robert Hieb. "Continuations and Concurrency". Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. March 1990. Available online: ACM Digital Library.
  • Dorai Sitaram and Matthias Felleisen. "Modeling Continuations Without Continuations". Proceedings of the Eighteenth ACM Symposium on Principles of Programming Languages. 1991. Available online: ACM Digital Library.
  • Daniel P. Friedman, Christopher T. Haynes and Eugene E. Kohlbecker. "Programming with Continuations". Program Transformation and Programming Environments. 1984.
  • Christopher T. Haynes and Daniel P. Friedman. "Engines Build Process Abstractions". Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming. 1984. Available online: ACM Digital Library.
  • Christopher T. Haynes, Daniel P. Friedman and Mitchell Wand. "Continuations and Coroutines". Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming. 1984. Available online: ACM Digital Library.
  • Christopher T. Haynes and Daniel P. Friedman. "Abstracting Timed Preemption with Engines". Journal of Computer Languages. 12. 2. 1987.
  • Matthias Felleisen, Daniel P. Friedman, Bruce F. Duba and John Merrill. "Beyond Continuations". Indiana University. Computer Science Dept. Technical Report 216. February 1987. Available online: pdf.
  • Christopher T. Haynes and Daniel P. Friedman. "Embedding Continuations in Procedural Objects". ACM Transactions on Programming Languages and Systems. 9. 4. October 1987. Available online: ACM Digital Library.
  • Daniel P. Friedman and Christopher T. Haynes. "Constraining Control". Proceedings of the Twelfth Annual Symposium on Principles of Programming Languages. January 1985.
  • Matthias Felleisen. "Transliterating Prolog into Scheme". Indiana University. Computer Science Technical Report 182. October 1985.
  • Christopher T. Haynes, Daniel P. Friedman and Mitchell Wand. "Obtaining Coroutines With Continuations". Journal of Computer Languages. 11. 3/4. 1986.
  • Christopher T. Haynes. "Logic Continuations". Proceedings of the Third International Conference on Logic Programming. July 1986.
  • Matthias Felleisen, Daniel P. Friedman, Eugene E. Kohlbecker and Bruce F. Duba. "Reasoning with Continuations". Proceedings of the Symposium on Logic in Computer Science. June 1986.
  • Dorai Sitaram and Matthias Felleisen. "Control Delimiters and Their Hierarchies". Lisp and Symbolic Computation: An International Journal. 3. 1. January 1990. Available online: .
  • Morry Katz and Daniel Weise. "Continuing Into the Future: On the Interaction of Futures and First-Class Continuations". Proceedings of the 1990 ACM Conference on Lisp and Functional Programming. June 1990. Available online: ACM Digital Library.
  • Daniel P. Friedman. "Applications of Continuations: Invited Tutorial". 1988 Principles of Programming Languages (POPL88). January 1988. Available online: ps pdf.
  • Darrell Ferguson and Dwight Deugo. "Call with Current Continuation Patterns". 8th Conference on Pattern Languages of Programs. September 2001. Available online: ps pdf.
  • Olivier Danvy and Andrzej Filinski. "A Functional Abstraction of Typed Contexts". DIKU. DIKU Rapport 89/12. July 1989. Available online: ps.
  • Olivier Danvy and Andrzej Filinski. "Abstracting Control". 1990 ACM Conference on Lisp and Functional Programming. September 1990. Available online: ps.
  • William D. Clinger, Anne Hartheimer and Eric M. Ost. "Implementation strategies for continuations". Proceedings of the 1988 ACM conference on LISP and functional programming. July 1988. Available online: ACM Digital Library.
  • Robert Hieb, R. Kent Dybvig and Carl Bruggeman. "Representing Control in the Presence of First-Class Continuations". ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation. June 1990. Available online: ps.
  • Olivier Danvy and Andrzej Filinski. "Representing Control: A Study of the CPS Transformation". Department of Computing and Information Sciences, Kansas State University. CIS-91-2. February 1991. Available online: ps.
  • Olivier Danvy and Julia L. Lawall. "Back to direct style II: First-class continuations". 1992 ACM Conference on Lisp and Functional Programming. 1992. Available online: ps.
  • Julia L. Lawall and Olivier Danvy. "Separating Stages in the Continuation-Passing Style Transformation". Proceedings of POPL93, the 1993 ACM Symposium on Principles of Programming Languages. 1993. Available online: ps.
  • Olivier Danvy and Julia L. Lawall. "Back to direct style II: First-class continuations". Computer Science Department, Brandeis University. Technical Report CS-95-179. February 1995. Available online: ps.
  • Amr Sabry and Matthias Felleisen. "Reasoning about Programs in Continuation-Passing Style". Rice University. TR 92-180. 1992. Available online: ps.
  • Dorai Sitaram and Matthias Felleisen. "Reasoning with Continuations II: Full Abstraction for Models of Control". Proceedings of LFP 90. 1990. Available online: ps two corrections (ps).
  • Amr Sabry and Matthias Felleisen. "Reasoning about Programs in Continuation-Passing Style". Proceedings of LFP 92. 1992. Available online: ps.
  • Amr Sabry and Matthias Felleisen. "Reasoning about Programs in Continuation-Passing Style". LISP and Symbolic Computation. 1993. Available online: ps.
  • Cormac Flanagan, Amr Sabry, Bruce F. Duba and Matthias Felleisen. "The Essence of Compiling with Continuations". Proceedings of PLDI 93. 1993. Available online: ps.
  • Amr Sabry and Matthias Felleisen. "Is Continuation-Passing Useful for Data Flow Analysis?". Proceedings of PLDI 94. 1994. Available online: ps.
  • Amr Sabry. "The Formal Relationship between Direct and Continuation-passing Style Optimizing Compilers: A Synthesis of Two Paradigms". PhD. Thesis. Rice University. Available online: ps.
  • Sanjeev Kumar, Carl Bruggeman and R. Kent Dybvig. "Threads Yield Continuations". Lisp and Symbolic Computation. 10, 2. May 1998. Available online: ps.
  • Carl Bruggeman, Oscar Waddell and R. Kent Dybvig. "Representing Control in the Presence of One-Shot Continuations". ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation. June 1996. Available online: ps.
  • Robert Hieb, R. Kent Dybvig and Claude W. Anderson III. "Subcontinuations". Lisp and Symbolic Computation. 7, 1. January 1994. Available online: ps.
  • R. Kent Dybvig and Robert Hieb. "Engines from Continuations". Journal of Computer Languages. 14, 2. 1989. Available online: ps.
  • Olin Shivers. "Continuations and threads: Expressing machine concurrency directly in advanced languages". Proceedings of the Second ACM SIGPLAN Workshop on Continuations. January 1997. Available online: ps.
  • Matthias Felleisen, Mitchell Wand, Daniel P. Friedman and Bruce F. Duba. "Abstract continuations: a mathematical semantics for handling full jumps". Proceedings of the 1988 ACM conference on LISP and functional programming. July 1988. Available online: ACM Digital Library.
  • Julia L. Lawall and Daniel P. Friedman. "Toward Leakage Containment". Computer Science Department, Indiana University. February 1992. Available online: ps.
  • Richard A. Kelsey and Paul Hudak. "Realistic Compilation by Program Transformation". Principles of Programming Languages (POPL89). January 1989. Available online: ps pdf.
  • Julia L. Lawall. "Continuation Introduction and Elimination in Higher-Order Programming Languages". PhD. Thesis. Indiana University, Computer Science Department. July 1994.
  • 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.
  • Steven E. Ganz, Daniel P. Friedman and Mitchell Wand. "Trampolined Style". International Conference on Functional Programming (ICFP 99). September 1999. Available online: ps pdf.
  • Erik Hilsdale and Daniel P. Friedman. "Writing macros in continuation-passing style". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Marc Feeley. "A portable implementation of first-class continuations for unrestricted interoperability with C in a multithreaded Scheme". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Mitchell Wand. "Continuation-Based Multiprocessing Revisited". Higher-Order and Symbolic Computation. 12(3). October 1999. Available online: ps.
  • Mitchell Wand. "Continuation-Based Multiprocessing". Higher-Order and Symbolic Computation. 12(3). October 1999. Available online: ps.
  • Marc Feeley. "A Better API for First-Class Continuations". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Jonathon Sobel and Daniel P. Friedman. "Recycling Continuations". 1998 International Conference on Functional Programming (ICFP'98). September 1998. Available online: ps pdf.
  • Christian Queinnec. "Continuations and conversations". 9th International Conference, AIMSA 2000. number 1904 in Lecture Notes in Artificial Intelligence. September 2000.
  • Christian Queinnec. "Locality, causality and continuations". LFP '94 - ACM Symposium on Lisp and Functional Programming. June 1994. Available online: ps pdf.
  • Christian Queinnec. "A library of high-level control operators". Lisp Pointers. 6(4). October 1993. Available online: ps pdf.
  • Christian Queinnec. "Continuation conscious compilation". Lisp Pointers. 6(1). January 1993. Available online: ps pdf.
  • Christian Queinnec. "Continuation sensitive compilation". Laboratoire d'Informatique de l'École Polytechnique. Research Report LIX RR 92/14. November 1992. Available online: ps pdf.
  • Christian Queinnec and Bernard Serpette. "A Dynamic Extent Control Operator for Partial Continuations". POPL '91 - Eighteenth Annual ACM symposium on Principles of Programming Languages. January 1991. Available online: ps pdf.
  • Luc Moreau and Christian Queinnec. "Partial Continuations as the Difference of Continuations". International Conference on Programming Language Implementation and Logic Programming (PLILP'94). number 844 in Lecture Notes in Computer Science. September 1994. Available online: ps pdf.
  • Ching-Lin Wang. "A Continuation-based Language Embedded in Scheme". Journal of Computer Languages. Vol. 17. Num. 1. 1992.
  • Ching-Lin Wang. "Obtaining Lazy Evaluation with Continuations in Scheme". Information Processing Letters. Vol. 35. 1990.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:46pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page7.html b/www/page7.html new file mode 100644 index 0000000..3260097 --- /dev/null +++ b/www/page7.html @@ -0,0 +1 @@ +Applications of Scheme
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Applications of Scheme

The XML and Web Programming section now has its own page

Programming Pearls in Scheme

  • Jeremiah Willcock, Andrew Lumsdaine and Daniel Quinlan. "Tabled execution in Scheme (Scheme Pearl)". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Shriram Krishnamurthi. "Automata as Macros". Journal of Functional Programming. 2005. Available online: downloadable paper.
  • Ronald Garcia and Andrew Lumsdaine. "Type Classes Without Types". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Sebastian Egner. "Eager Comprehensions in Scheme: The design of SRFI-42". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Oleg Kiselyov. "Towards the best collection API (extended abstract)". Lightweight Languages 2003 (LL3) workshop. November 2003. Available online: html.
  • 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.
  • Matthias Felleisen. "Recursion and Circularity: Extended Puzzle with Solution". Indiana University. TR-201. October 1986.
  • Hal Abelson and Gerald Jay Sussman. "LISP: A Language for Stratified Design". MIT AI Lab. AI Lab Memo AIM-986. August 1987. Available online: ps pdf.
  • Hal Abelson and Gerald Jay Sussman. "Lisp: A Language for Stratified Design". BYTE. February 1988.
  • Daniel P. Friedman. "From Direct Style to Monadic Style through Continuation-Passing Style". 2002. Available online: ps pdf.
  • Daniel P. Friedman. "Direct Style from Monadic Style and Back". 2002. Available online: ps pdf.
  • Jonathan Sobel, Erik Hilsdale, R. Kent Dybvig, Daniel P. Friedman. "Abstraction and Performance from Explicit Monadic Reflection". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Jonathon Sobel and Daniel P. Friedman. "Recycling Continuations". 1998 International Conference on Functional Programming (ICFP'98). September 1998. Available online: ps pdf.
  • Oleg Kiselyov. "Binary parsing". A micro-talk presentation at a Workshop on Scheme and Functional Programming 2000. September 2000. Available online: html.
  • Oleg Kiselyov. "General ways to traverse collections". April 2000. Available online: html.
  • Oleg Kiselyov. "Monadic Programming in Scheme". January 2002. Available online: html.
  • John Franco and Daniel P. Friedman. "Creating Efficient Programs by Exchanging Data for Procedures". Indiana University. Computer Science Technical Report 245. March 1988.
  • John Franco and Daniel P. Friedman. "Creating Efficient Programs by Exchanging Data for Procedures". Journal of Computer Languages. Vol. 4. Num. 1. 1989.
  • Olivier Danvy. "Programming with Tighter Control". BIGRE Bulletin. 65. July 1989.
  • Olivier Danvy. "On listing list prefixes". Lisp Pointers. Vol. 2. No. 3-4. January 1989.
  • Olivier Danvy. "Combiner Logiquement en Scheme". BIGRE Bulletin. 65. July 1989.

Programming Environments

  • Guillaume Cartier and Louis-Julien Guillemette. "JazzScheme: Evolution of a Lisp-Based Development System". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul A. Steckler and Matthias Felleisen. "DrScheme: A Programming Environment for Scheme". Journal of Functional Programming. 2002. Available online: ps pdf.
  • Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi and Matthias Felleisen. "DrScheme: A Pedagogic Programming Environment for Scheme". International Symposium on Programming Languages: Implementations, Logics, and Programs (PLILP 97). 1997. Available online: ps.
  • John Clements, Paul T. Graunke, Shriram Krishnamurthi and Matthias Felleisen. "Little Languages and their Programming Environments". Proceedings of Monterey Workshop 2001. 2001. Available online: pdf.
  • John Clements, Shriram Krishnamurthi, Matthias Felleisen. "Little Languages and their Programming Environments ". Rice University. TR 99-350. 1999. Available online: pdf ps.
  • Manuel Serrano. "Bee: an Integrated Development Environment for the Scheme Programming Language". Journal of Functional Programming '00. May 2000. Available online: ps.
  • Michael A. Eisenberg. "Bochser: An Integrated Scheme Programming System". Massachusetts Institute of Technology. MIT Computer Science Technical Report 349. October 1985.
  • Robert Strandh. "OOOZ, A multi-User Programming Environment Based on Scheme". BIGRE Bulletin. 65. July 1989.

Modular Interpreters

  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "The Art of the Interpreter of, the Modularity Complex (Parts Zero, One, and Two)". MIT AI Lab. AI Lab Memo AIM-453. May 1978. Available online: ps pdf.
  • David Espinosa. "Language Extensibility via First-class Interpreters and Constructive Modules". Department of Computer Science, Columbia University. April 1993. Available online: ps.
  • David Espinosa. "Semantic Lego". Department of Computer Science, Columbia University. January 1994. Available online: ps.
  • David Espinosa. "Building Interpreters by Transforming Stratified Monads". Department of Computer Science, Columbia University. April 1994. Available online: ps.
  • David Espinosa. "Semantic Lego". PhD. Thesis. 1995. Available online: ps.
  • Steven E. Ganz and Daniel P. Friedman. "A Modular Monadic Interpreter In Scheme With Objects". Indiana University Computer Science Department. Technical Report #548. October 2000. Available online: ps pdf.
  • Olivier Danvy, Juergen Koslowski and Karoline Malmkjær. "Compiling Monads". Kansas State University. CIS-92-3. December 1991. Available online: ps pdf.

Embedding Logic Programming in Scheme

  • William E. Byrd and Daniel P. Friedman. "From Variadic Functions to Variadic Relations: A miniKanren Perspective". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • William E. Byrd and Daniel P. Friedman. "lpha Kanren - A Fresh Name in Nominal Logic Programming". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Andrew W. Keep, Michael D. Adams, Lindsey Kuper, William E. Byrd and Daniel P. Friedman. "A pattern-matcher for miniKanren -or- How to get into trouble with CPS macros". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Claire E. Alvis, Jeremiah J. Willcock, Kyle M. Carter, William E. Byrd and Daniel P. Friedman. "cKanren: miniKanren with Constraints". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Daniel P. Friedman and Oleg Kiselyov. "A Logic System with First-Class Relations". May 2004. Available online: ps pdf.
  • R. Kent Dybvig, Daniel P. Friedman, and Michael Y. Levin. "Implementation strategies for Scheme-based Prolog systems". 1998. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "LogScheme: Integrating Logic Programming into Scheme". LISP and Symbolic Computation. 3(3). September 1990. Available online: .
  • Christopher T. Haynes. "Logic Continuations". Journal of Logic Programming. Vol. 4. 1987.
  • Mitchell Wand. "A Semantic Algebra for Logic Programming". Indiana University. TR-148. August 1983.
  • Michael C. Rubenstein and Richard M. Salter. "Computationally Extended Logic Programming". Journal of Computer Languages. Vol. 12. Num. 1. 1987.
  • Matthias Felleisen. "Transliterating Prolog into Scheme". Indiana University. Computer Science Technical Report 182. October 1985.
  • Amitabh Srivastava, Don Oxley and Aditya Srivastava. "An (other) Integration of Logic and Functional Programming". Proceedings of the Symposium on Logic Programming. 1985.
  • Christopher T. Haynes. "Logic Continuations". Proceedings of the Third International Conference on Logic Programming. July 1986.
  • Pierre Bonzon. "A Metacircular Evaluator for a Logical Extension of Scheme". Lisp and Symbolic Computation: An International Journal. 3. 2. March 1990. Available online: .
  • Christian Queinnec. "Compilation of Non-Linear, Second Order Patterns on S-Expressions". International Workshop PLILP '90 - Programming Language: Implementation and Logic Programming. Lecture Notes in Computer Science 456. August 1990. Available online: ps.
  • Erik Ruf and Daniel Weise. "Nondeterminism and unification in LogScheme: integrating logic and functional programming". Proceedings of the fourth international conference on Functional programming languages and computer architecture. September 1989. Available online: ACM Digital Library.
  • J. Michael Ashley and Richard M. Salter. "A Revised State Space Model for a Logic Programming Embedding in Scheme". BIGRE Bulletin. 65. July 1989.

Hardware Design and 'Scheme Machines'

  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode". MIT AI Lab. AI Lab Memo AIM-514. March 1979. Available online: ps pdf.
  • Xavier Saint-Mleux, Marc Feeley and Jean-Pierre David. "SHard: a Scheme to Hardware Compiler". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Andrew A. Berlin and Henry M. Wu. "Scheme86: a system for interpreting scheme". Proceedings of the 1988 ACM conference on LISP and functional programming. July 1988. Available online: ACM Digital Library.
  • Henry M. Wu. "Scheme 86: An Architecture for Microcoding a Scheme Interpreter". Massachusetts Institute of Technology. AIM-953. August 1988. Available online: ps pdf.
  • Henry M. Wu. "Performance Evaluation of the Scheme 86 and HP Precision Architecture". Masters Thesis. Massachusetts Institute of Technology. AITR-1103. April 1989. Available online: ps pdf.
  • Andrew A. Berlin and Henry M. Wu. "Scheme86: A System for Interpreting Scheme". Massachusetts Institute of Technology. AIM-1040. April 1988. Available online: ps pdf.
  • Robert G. Burger. "The Scheme Machine". Indiana University, Computer Science Department. Technical Report 413. August 1994. Available online: ps.
  • M. Esen Tuna, Steven D. Johnson and Robert G. Burger. "Continuations in Hardware-Software Codesign". IEEE Proceedings of the International Conference on Computer Design. October 1994. Available online: ps.
  • Steven D. Johnson. "Formal derivation of a scheme computer". Indiana University Computer Science Department. Technical Report 544. September 2000. Available online: ps pdf.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "Design of a Lisp-based Processor". CACM. 23. 11. November 1980. Available online: ACM Digital Library.
  • Gerald Jay Sussman, Jack Holloway, Guy Lewis Steele, Jr. and Alan Bell. "Scheme-79 - Lisp on a Chip". IEEE Computer. 14. 7. July 1981.
  • Gerald Jay Sussman, Jack Holloway, Guy Lewis Steele, Jr. and Alan Bell. "The Scheme-79 Chip". MIT AI Laboratory. AI Memo 559. January 1980. Available online: ps pdf.
  • John Batali, Edmund Goodhue, Chris Hanson, Howie Shrobe, Richard M. Stallman and Gerald Jay Sussman. "The Scheme-81 Architecture - System and Chip". Proceedings, Conference on Advanced Research in VLSI. 1982.
  • Wim Vanderbauwhede. "Gannet: a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.

Graphical Applications

  • Ken Dickey. "Thinking Scheme". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Daniel Ignatoff, Gregory H. Cooper and Shriram Krishnamurthi. "Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages". Functional and Logic Programming Symposium. 2006. Available online: downloadable paper.
  • Erick Gallesio and Manuel Serrano. "Programming Graphical User Interfaces with Scheme". Journal of Functional Programming. Vol. 13, No. 5. September 2003. Available online: ps.
  • Erick Gallesio and Manuel Serrano. "Biglook: a Widget Library for the Scheme Programming Language". 2002 Usenix annual technical conference. June 2002. Available online: html.
  • Alexander Friedman and Jamie Raymond. "PLoT Scheme". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Paul T. Graunke and Shriram Krishnamurthi. "Advanced Control Flows for Flexible Graphical User Interfaces". International Conference on Software Engineering. 2002. Available online: ps pdf.
  • Paul Haahr. "Montage: Breaking Windows into Small Pieces". Summer 1990 Usenix Conference. 1990. Available online: html.
  • Brian Beckman. "A Scheme for Interactive Graphics". Computer Graphics Laboratory, NASA JPL. July 1990. Available online: ps.
  • Brian Beckman. "A Scheme for Little Languages in Interactive Graphics". Software-Practice and Experience. 21. 2. Feb 1991.
  • Pee Hong Chen and L. David Sabbagh. "Scheme as an Interactive Graphics Programming Environment". Indiana University. Computer Science Technical Report No. 166. March 1985.
  • Pee Hong Chen, W. Y. Chi, Eric M. Ost, L. David Sabbagh and George Springer. "Scheme Graphics Reference Manual". Indiana University . Computer Science Technical Report No. 145. August 1983.
  • Andréa Pic and Michel Briand. "Visual Programming with Generators". BIGRE Bulletin. 65. July 1989.
  • Michael A. Eisenberg. "Programmable Applications: Interpreter Meets Interface". MIT AI Lab. AIM-1325. October 1991. Available online: ps pdf.
  • Jean-Francois Rotge. "SGDL-Scheme: A high-level algorithmic language for projective solid modeling programming". Scheme and Functional Programming 2000. September 2000. 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.

Scheme in Education

  • Guillaume Marceau, Kathi Fisler and Shriram Krishnamurthi. "Measuring the Effectiveness of Error Messages Designed for Novice Programmers". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Mehmet Fatih Köksal, Remzi Emre Başar, Suzan Üsküdarlı. "Screen-Replay: A Session Recording and Analysis Tool for DrScheme". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Abdulaziz Ghuloum. "An Incremental Approach to Compiler Construction". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Dipanwita Sarkar, Oscar Waddell and R. Kent Dybvig. "A Nanopass Infrastructure for Compiler Education". International Conference on Functional Programming 2004 (ICFP2004). September 2004.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "The Structure and Interpretation of the Computer Science Curriculum". Journal of Functional Programming. 2004. Available online: ps pdf.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "The TeachScheme! Project: Computing and Programming for Every Student". Computer Science Education. 2004. Available online: ps pdf.
  • Timothy J. Hickey. "Incorporating Scheme-based web programming in computer-literacy courses". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: pdf.
  • Christian Queinnec. "A library for quizzes". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps pdf.
  • Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec and Michèle Soria. "Experiment around a training engine". IFIP WCC 2002 - World Computer Congress. August 2002. Available online: ps pdf.
  • Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec and Michèle Soria. "Un cédérom pour scheme -- chacun son entraineur, un entraineur pour tous". TICE 2002. November 2002. Available online: ps pdf.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "The Structure and Interpretation of the Computer Science Curriculum". Functional and Declarative Programming in Education (FDPE2002). October 2002. Available online: ps pdf.
  • Timothy J. Hickey. "Scheme-based Web Programming as a Basis for a CS0 Curriculum". September 2003. Available online: pdf.
  • Timothy J. Hickey, J. Langton and R. Alterman. "Integrating Tools and Resources: a case study in building educational groupware for collaborative programming". Brandeis University. 2003. Available online: pdf.
  • Timothy J. Hickey, R. Alterman, J. Langton. "TA Groupware". Brandeis University. Tech. Rep. CS-02-222. January 2002. Available online: pdf.
  • Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen. "A Visual Environment for Developing Context-Sensitive Term Rewriting Systems". International Conference on Rewriting Techniques and Applications (RTA2004). 2004. Available online: pdf.
  • Casey Klein and Robert Bruce Findler. "Randomized Testing in PLT Redex". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.

Other Application Topics

  • Manuel Serrano. "HopTex, compiling HTML to LaTeX with CSS". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Aaron W. Hsu. "Implementing User-level Value-weak Hashtables". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Hari Prashanth and Sam Tobin-Hochstadt. "Functional Data Structures for Typed Racket". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • John Moore. "Get stuffed: Tightly packed abstract protocols in Scheme". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Eli Barzilay. "The Scribble Reader: An Alternative to S-expressions for Textual Content". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Vincent St-Amour, Lysiane Bouchard and Marc Feeley. "Small Scheme Stack: a Scheme TCP/IP stack targeting small embedded applications". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Kurt Nørmark. "Deriving a Comprehensive Document from a Concise Document - Document Engineering in Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Richard Cleis and Keith Wilson. "Experiences with Scheme in an Electro-Optics Laboratory". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund and Cormac Flanagan. "Sage: Hybrid Checking for Flexible Specifications". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Jacob Matthews. "Component Deployment with PLaneT: You Want it Where?". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Guillermo J. Rozas. "A Computational Model for Observation in Quantum Mechanics". Masters Thesis. Massachusetts Institute of Technology. AITR-925. March 1987. Available online: ps pdf.
  • Martin Gasbichler and Eric Knauel. "Commander S - The shell as a browser". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Erick Gallesio and Manuel Serrano. "Ubiquitous Mails". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Jean-Michel Hufflen. "Implementing a Bibliography Processor in Scheme". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Chongkai Zhu. "The Marriage of MrMathematica and MzScheme". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Alan Pavicic and Niksa Bosnic. "ACT Parameterization Framework". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Scott Owens, Matthew Flatt, Olin Shivers and Benjamin McMullan. "Lexer and Parser Generators in Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Kathryn E. Gray and Matthew Flatt. "Compiling Java to PLT Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Ilya Bagrak and Olin Shivers. "trx: Regular-Tree Expressions, now in Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Mike MacHenry and Jacob Matthews. "Topsl: a Domain-Specific Language for On-Line Surveys". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Gregory H. Cooper and Shriram Krishnamurthi. "FrTime: Functional Reactive Programming in PLT Scheme". April 2004. Available online: ps.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "Fostering Little Languages". Dr. Dobb's Journal. March 2004. Available online: Dr. Dobb's.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "Building Little Languages with Macros". Dr. Dobb's Journal. April 2004. Available online: Dr. Dobbs.
  • Robert Bruce Findler, Matthew Flatt. "Slideshow: Functional Presentations". International Conference on Functional Programming (ICFP2004). 2004. Available online: pdf.
  • Kurt Nørmark. "Scheme Program Documentation Tools". 2004 Scheme Workshop. September 2004. 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.
  • Stéphane Epardaud. "Mobile Reactive Programming in ULM". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Matthias Radestock. "Run Once, Write Anyway". International Lisp Conference (ILC) 2003. October 2003. Available online: pdf slides.
  • Oleg Kiselyov. "An applicative-order term rewriting system for code generation, and its termination analysis". Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003). June 2003. Available online: html.
  • Pedro Pinto. "Dot-Scheme: A PLT Scheme FFI for the .NET framework". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Philippe Meunier and Daniel Silva. "From Python to PLT Scheme". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Dorai Sitaram. "Porting Scheme Programs". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Noel Welsh, Francisco Solsona and Ian Glover. "SchemeUnit and SchemeQL: Two little languages". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps pdf.
  • Peter Lee and Uwe F. Pleban. "On the use of LISP in implementing denotational semantics". Proceedings of the 1986 ACM conference on LISP and functional programming. 1986. Available online: ACM Digital Library.
  • Vincent Delacour. "Picolo Expresso". BIGRE Bulletin. 65. July 1989.
  • Tan Gon Kim and Bernard P. Zeigler. "The DEVS-Scheme Modelling and Simulation Environment". BIGRE Bulletin. 65. July 1989.
  • John Wade Ulrich. "Enumeration Algorithms and Non-deterministic Programming in Scheme". BIGRE Bulletin. 65. July 1989.
  • 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.
  • Michael Sperber and Peter Thiemann. "The Essence of LR Parsing". Partial Evaluation and Semantics-Based Program Manipulation PEPM '95. June 1995. Available online: ps.
  • Michael Sperber. "Computer-Assisted Lighting Design and Control". PhD. Thesis. University of Tübingen. June 2001. Available online: ps.
  • Olin Shivers. "A universal scripting framework or Lambda: the ultimate little language". Concurrency and Parallelism, Programming, Networking, and Security. Lecture Notes in Computer Science #1179. 1996. Available online: ps.
  • Olin Shivers. "A Scheme Shell - The design paper on the Scheme shell scsh". Personal Information Architecture Note 3. April 1994. Available online: ps.
  • Olin Shivers and Brian D. Carlstrom. "Scsh reference manual". MIT Laboratory for Computer Science. November 1995. Available online: ps.
  • Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi and Matthias Felleisen. "Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine)". Proceedings of ICFP 99. 1999. Available online: pdf ps.
  • Jonathan A. Rees. "A Security Kernel Based on the Lambda-Calculus". MIT AI Lab. AIM-1564. March 1996. Available online: ps pdf.
  • Jonathan A. Rees and Bruce R. Donald. "Program mobile robots in Scheme". Proceedings of the 1992 IEEE International Conference on Robotics and Automation. 1992. Available online: ps.
  • Jonathan A. Rees. "A Security Kernel Based on the Lambda-Calculus". PhD. Thesis. February 1995. Available online: ps.
  • Marc Feeley, Martin Larose. "Etos: an Erlang to Scheme compiler". département d'informatique et r.o., Université de Montréal. Rapport technique 1079. Aout 1997. Available online: ps.
  • Manuel Serrano and Pierre Weis. "1+1=1: an optimizing Caml compiler". Workshop on ML and its Applications, WML'94. 1994. Available online: ps pdf.
  • Manuel Serrano. "Rgc: un générateur d'analyseurs lexicaux efficaces en Scheme". Proceedings of JFLA'92. 1992. Available online: ps.
  • Bradley J. Lucier. "Numerical partial differential equations in Scheme". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Frédéric Peschanski. "Jargons: Experimenting Composable Domain-Specific Languages". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Christian Queinnec. "Literate programming from scheme to TEX". Laboratoire d'Informatique de l'École Polytechnique. Research Report LIX RR 93.05. November 1993.
  • 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.
  • Christian Queinnec. "Struggle, The First Denotational Game". EuroPal '90 - European Conference on Lisp and its Practical Applications. March 1990. Available online: ps.
  • Aaron W. Hsu. "Hygienic Literate Programming: Lessons from ChezWEB". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Mayer Goldberg. "A variadic extension of Curry's fixed-point combinator". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps pdf.
  • Danny Dubé and Anass Kadiri. "Automatic construction of parse trees for lexemes". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Eli Barzilay. "A Self-Hosting Evaluator using HOAS". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:47pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page8.html b/www/page8.html new file mode 100644 index 0000000..6125ac5 --- /dev/null +++ b/www/page8.html @@ -0,0 +1 @@ +Compiler Technology/Implementation Techniques and Optimization
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Compiler Technology/Implementation Techniques and Optimization

Basic Techniques

  • Guy Lewis Steele, Jr.. "RABBIT: A Compiler for SCHEME". Masters Thesis. MIT AI Lab. AI Lab Technical Report AITR-474. May 1978. Available online: ps pdf.
  • David A. Kranz, Richard A. Kelsey, Jonathan A. Rees, Paul Hudak and James Philbin. "ORBIT: an optimizing compiler for scheme". Proceedings of the SIGPLAN symposium on Compiler contruction. June 1986. Available online: ACM Digital Library.
  • David A. Kranz. "ORBIT: An Optimizing Compiler for Scheme". PhD. Thesis. Yale. 1988. Available online: ps pdf.
  • Marc Feeley. "Deux approches à l'implantation du language Scheme". Masters Thesis. Université de Montréal. May 1986. Available online: ps.
  • R. Kent Dybvig. "Three Implementation Models for Scheme". PhD. Thesis. University of North Carolina, Computer Science Department. Technical Report 87-011. April 1987. Available online: pdf.
  • William D. Clinger. "The scheme 311 compiler an exercise in denotational semantics". 1984 ACM Symposium on LISP and functional programming. 1984. Available online: ACM Digital Library.
  • David H. Bartley and John C. Jensen. "The implementation of PC Scheme". Proceedings of the 1986 ACM conference on LISP and functional programming. 1986. Available online: ACM Digital Library.
  • Manuel Serrano. "Vers une programmation fonctionnelle praticable". 2000. Available online: ps.
  • Manuel Serrano and Pierre Weis. "Bigloo: a portable and optimizing compiler for strict functional languages". Static Analysis Symposium, SAS'95. September 1995. Available online: ps.
  • Jonathan A. Rees. "A Security Kernel Based on the Lambda-Calculus". PhD. Thesis. February 1995. Available online: ps.
  • Richard A. Kelsey and Jonathan A. Rees. "A tractable Scheme implementation". Lisp and Symbolic Computation. 7(4). 1994. Available online: ps pdf.
  • William D. Clinger and Lars Thomas Hansen. "Lambda, the ultimate label, or a simple optimizing compiler for Scheme". Proceedings of the 1994 ACM conference on LISP and Functional Programming. 1994. Available online: ACM Digital Library.
  • William D. Clinger, Anne Hartheimer and Eric M. Ost. "Implementation strategies for continuations". Proceedings of the 1988 ACM conference on LISP and functional programming. July 1988. Available online: ACM Digital Library.
  • William D. Clinger. "Rapid Case Dispatch in Scheme". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Carl Bruggeman, Oscar Waddell and R. Kent Dybvig. "Representing Control in the Presence of One-Shot Continuations". ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation. June 1996. Available online: ps.
  • Erik Hilsdale, J. Michael Ashley, R. Kent Dybvig and Daniel P. Friedman. "Compiler Construction Using Scheme". First International Symposium, Functional Programming Languages in Education. 1995. Available online: pdf.
  • J. Michael Ashley and R. Kent Dybvig. "An Efficient Implementation of Multiple Return Values in Scheme". 1994 ACM Conference on LISP and Functional Programming. June 1994. Available online: pdf.
  • Robert Hieb, R. Kent Dybvig and Carl Bruggeman. "Representing Control in the Presence of First-Class Continuations". ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation. June 1990. Available online: ps.
  • Cormac Flanagan, Amr Sabry, Bruce F. Duba and Matthias Felleisen. "The Essence of Compiling with Continuations". Proceedings of PLDI 93. 1993. Available online: ps.
  • Amr Sabry. "The Formal Relationship between Direct and Continuation-passing Style Optimizing Compilers: A Synthesis of Two Paradigms". PhD. Thesis. Rice University. Available online: ps.
  • Christian Queinnec. "Continuation conscious compilation". Lisp Pointers. 6(1). January 1993. Available online: ps pdf.
  • Christian Queinnec. "Continuation sensitive compilation". Laboratoire d'Informatique de l'École Polytechnique. Research Report LIX RR 92/14. November 1992. Available online: ps pdf.
  • 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.
  • Guy Lewis Steele, Jr.. "Debunking the "Expensive Procedure Call" Myth, or Procedure Call Implementations Considered Harmful, or LAMBDA, the Ultimate GOTO". ACM Conference Proceedings. 1977. Available online: ACM Digital Library.
  • Guillermo J. Rozas. "Liar, an Algol-like Compiler for Scheme". Massachusetts Institute of Technology. S. B. Thesis. January 1984.
  • Richard Schooler and James W. Stamos. "Proposal For a Small Scheme Implementation". Massachusetts Institute of Technology. MIT LCS Memo TM-267. October 1984.
  • Mitchell Wand. "From Interpreter to Compiler: A Representational Derivation". Programs as Data Objects. Lecture Notes in Computer Science. 1986.
  • Mitchell Wand and Daniel P. Friedman. "Compiling Lambda Expressions Using Continuations and Factorizations". Journal of Computer Languages. 3. 1978.
  • Guy Lewis Steele, Jr.. "Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO". AI: An MIT Perspective. 1980.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "The Dream of a Lifetime: a Lazy Variable Extent Mechanism". Conference Record of the 1980 Lisp Conference. 1980. Available online: ACM Digital Library.
  • Guy Lewis Steele, Jr. and Gerald Jay Sussman. "The Dream of a Lifetime: a Lazy Variable Extent Mechanism". 1979. Available online: ps pdf.
  • Drew McDermott. "An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped Lisp". Conference Record of the 1980 Lisp Conference. 1980. Available online: ACM Digital Library.
  • Steven R. Vegdahl and Uwe F. Pleban. "The Runtime Environment for Screme, a Scheme Implementation on the 88000". Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems. April 1989. Available online: ACM Digital Library.
  • Barak A. Pearlmutter and Kevin J. Lang. "The Implementation of Oaklisp". Topics in Advanced Language Implementation. 1991.
  • Uwe F. Pleban. "Compilation Issues in the Screme Implementation for the 88000". Topics in Advanced Language Implementation. 1991.
  • Dan Teodosiu. "HARE: An Optimizing Portable Compiler for Scheme". ACM Sigplan Notices. 26. 1. Jan 1991. Available online: ps pdf.
  • Nitsan Séniak. "Compilation de Scheme par spécialisation explicite". BIGRE Bulletin. 65. July 1989.
  • Chris Hanson. "Efficient Stack Allocation for Tail-Recursive Languages". Proceedings of the 1990 ACM Conference on Lisp and Functional Programming. June 1990. Available online: ACM Digital Library.
  • Dan Teodosiu. "HARE: A Compiler for Scheme". Masters Thesis. Master's Thesis. June 1990.
  • Michael Sperber and Martin Gasbichler. "Final shift for call/cc: Direct implementation of shift and reset". International Conference on Functional Programming (ICFP'2002). October 2002. Available online: ps.
  • Martin Gasbichler, Michael Sperber. "A Direct Implementation of Shift/Reset". IFL 2001. 2001.
  • Abdulaziz Ghuloum and R. Kent Dybvig. "Fixing Letrec (reloaded)". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Abdulaziz Ghuloum. "An Incremental Approach to Compiler Construction". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Dipanwita Sarkar, Oscar Waddell and R. Kent Dybvig. "A Nanopass Infrastructure for Compiler Education". International Conference on Functional Programming 2004 (ICFP2004). September 2004.
  • Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi and Matthias Felleisen. "Continuations from Generalized Stack Inspection". International Conference on Functional Programming, ICFP 2005. September 2005. Available online: downloadable paper.
  • Matthew Flatt and Eli Barzilay. "Keyword and Optional Arguments in PLT Scheme". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Abdulaziz Ghuloum and R. Kent Dybvig. "Generation-Friendly Eq Hash Tables". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.

Implementing Scheme in Java, .NET, and JavaScript

  • Remzi Emre Başar, Caner Derici and Çağdaş Şenol. "World With Web: A compiler from world applications to JavaScript". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Akihito Nagata, Eijiro Sumii and Akinori Yonezawa. "A Scheme-to-Java Translator with Soft Typing". May 2002. Available online: ps.
  • Bernard Serpette and Manuel Serrano. "Compiling Scheme to JVM bytecode: a performance study". International Conference on Functional Programming (ICFP'2002). October 2002. Available online: ps.
  • Scott G. Miller. "SISC: A Complete Scheme Interpreter in Java". January 2002. Available online: ps pdf.
  • Kenneth R. Anderson, Timothy J. Hickey and Peter Norvig. "SILK: a playful blend of Scheme and Java". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Timothy J. Hickey. "Incorporating Scheme-based web programming in computer-literacy courses". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: pdf.
  • Timothy J. Hickey. "Incorporating Scheme-based Web Programmming into Computer Literacy Courses". Brandeis University. CS-02-224. April 2002. Available online: ps pdf.
  • Timothy J. Hickey. "Jscheme Web Programming for CS0". Brandeis University. CS-02-223. January 2002. Available online: ps.
  • Kenneth R. Anderson and Timothy J. Hickey. "Reflecting Java into Scheme". Proceedings of Reflection 99. Lecture Notes in Computer Science, v. 1616. 1999.
  • Timothy J. Hickey, Peter Norvig and Kenneth R. Anderson. "LISP - a Language for Internet Scripting and Programming". LUGM'98: Proceedings of Lisp in the Mainstream. November 1998. Available online: pdf.
  • Per Bothner. "Kawa - Compiling Dynamic Languages to the Java VM". 1998 Usenix. June 1998. Available online: ps.
  • Per Bothner. "Kawa: Compiling Scheme to Java". Lisp Users Conference: Lisp in the Mainstream (40th Anniversary of Lisp). November 1998. Available online: ps.
  • Mark DePristo. "SINTL: A Strongly-Typed Generic Intermediate Language for Scheme". Northwestern University. May 2000. Available online: ps pdf.
  • Brian D. Carlstrom. "Embedding Scheme in Java". PhD. Thesis. Massachusetts Institute of Technlogy. February 2001. Available online: pdf.
  • Yannis Bres and Bernard Serpette and Manuel Serrano. "Compiling Scheme programs to .NET Common Intermediate Language". 2nd International Workshop on .NET Technologies. May 2004. Available online: pdf.
  • Yannis Bres and Bernard Serpette and Manuel Serrano. "Bigloo.NET: compiling Scheme to .NET CLR". Journal of Object Technology. 3(9). October 2004. Available online: html.
  • Florian Loitsch. "Javascript to Scheme Compilation". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.

Compiling Scheme to C

  • Joel F. Bartlett. "SCHEME->C: A Portable Scheme-to-C Compiler". 1989. Available online: ps.
  • R. Kent Dybvig. "C-Scheme". Masters Thesis. Indiana University Computer Science Department. Technical Report 149. 1983.
  • Manuel Serrano. "Vers une compilation portable et performante des langages fonctionnels". PhD. Thesis. l'Université Paris VI. December 1994. Available online: ps.
  • Tanel Tammet. "Lambda-lifting as an optimization for compiling Scheme to C". Chalmers University of Technology. Available online: ps pdf.
  • Brent W. Benson, Jr.. "libscheme: Scheme as a C Library". Proceedings of the 1994 USENIX Symposium on Very High Level Languages. 1994. Available online: ps.
  • John R. Rose and Hans Muller. "Integrating the Scheme and C languages". Proceedings of the conference on Lisp and functional programming. June 1992. Available online: ACM Digital Library.
  • Henry G. Baker. "CONS Should Not CONS Its Arguments, Part II: Cheney on the M.T.A.". May 1994. Available online: ps html.
  • Marc Feeley, James S. Miller, Guillermo J. Rozas, Jason A. Wilson. "Compiling Higher-Order Languages into Fully Tail-Recursive Portable C". département d'informatique et r.o., Université de Montréal. Rapport technique 1078. Aout 1997. Available online: ps.
  • Marc Feeley. "A portable implementation of first-class continuations for unrestricted interoperability with C in a multithreaded Scheme". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.

VLISP: Formally Verified Scheme Implementation

  • Joshua D. Guttman, John D. Ramsdell and Mitchell Wand. "VLISP: A Verified Implementation of Scheme". Lisp and Symbolic Computation. Vol. 8 No. 1/2. 1995. Available online: ps pdf.
  • Joshua D. Guttman, John D. Ramsdell and Vipin Swarup. "The VLISP Verified Scheme System". Lisp and Symbolic Computation. Vol. 8 No. 1/2. 1995. Available online: ps pdf.
  • Dino P. Oliva, John D. Ramsdell and Mitchell Wand. "The VLISP Verified PreScheme Compiler". Lisp and Symbolic Computation. Vol. 8 No. 1/2. 1995. Available online: ps pdf.
  • Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, William M. Farmer, Vipin Swarup. "A Guide to VLISP, A Verifed Programming Language Implementation". MITRE Corporation. September 1992. Available online: ps pdf.
  • John D. Ramsdell, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, Vipin Swarup. "The VLISP PreScheme Front End". MITRE Corporation. September 1992. Available online: ps pdf.
  • John D. Ramsdell. "The Revised VLISP PreScheme Front End". MITRE Corporation. August 1993. Available online: ps pdf.
  • Dino P. Oliva and Mitchell Wand. "A Verifed Compiler for Pure PreScheme". MITRE Corporation. September 1991. Available online: ps pdf.
  • William M. Farmer and John D. Ramsdell. "A Verifed Compiler for Multithreaded PreScheme". MITRE Corporation. January 1996. Available online: ps pdf.
  • Joshua D. Guttman, John D. Ramsdell, Leonard G. Monk, William M. Farmer, Vipin Swarup. "The VLISP Byte-Code Compiler". MITRE Corporation. September 1992. Available online: ps pdf.
  • Dino P. Oliva and Mitchell Wand. "A Verifed Run-Time Structure for Pure PreScheme". MITRE Corporation. September 1992. Available online: ps pdf.
  • Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell. "VLISP Byte Code Interpreter". MITRE Corporation. September 1992. Available online: ps pdf.
  • William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, Vipin Swarup. "Faithfulness of the VLISP Operational Semantics". MITRE Corporation. September 1992. Available online: ps pdf.
  • Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, William M. Farmer, Vipin Swarup. "The VLISP Flattener". MITRE Corporation. September 1992. Available online: ps pdf.
  • Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk and John D. Ramsdell. "The VLISP Image Builder". MITRE Corporation. September 1992. Available online: ps pdf.
  • William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, Vipin Swarup. "The VLISP Linker". MITRE Corporation. September 1992. Available online: ps pdf.

Program Analysis, Inlining and other Optimizations

  • Andrew Keep and R. Kent Dybvig. "Enabling cross-library optimization and compile-time error checking in the presence of procedural macros". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Christopher Earl, Matthew Might and David Van Horn. "Pushdown Control-Flow Analysis of Higher-Order Programs". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Matthew Might and Tarun Prabhu. "Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Philippe Meunier, Robert Bruce Findler and Matthias Felleisen. "Modular Set-Based Analysis from Contracts". Principles of Programming Languages, POPL 2006. January 2006. Available online: 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.
  • Oscar Waddell, Dipanwita Sarkar and R. Kent Dybvig. "Robust and effective transformation of letrec". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: pdf.
  • Mitchell Wand. "Continuation-Based Program Transformation Strategies". Journal of the ACM. 27. 1. January 1980. Available online: ACM Digital Library.
  • Williams Ludwell Harrison III. "The Interprocedural Analysis and Automatic Parallellization of Scheme Programs". Lisp and Symbolic Computation: An International Journal. 2. 3/4. October 1989. Available online: .
  • J. Michael Ashley and R. Kent Dybvig. "A Practical and Flexible Flow Analysis for Higher-Order Languages". ACM Transactions on Programming Languages and Systems. Vol. 20, Num. 4. July 1998. Available online: pdf.
  • Jeffrey Mark Siskind. "Flow-Directed Lightweight Closure Conversion". NEC Research Institute, Inc.. Technical Report 99-190R. December 1999. Available online: pdf.
  • Oscar Waddell and R. Kent Dybvig. "Fast and Effective Procedure Inlining". Proceedings of the Fourth International Symposium on Static Analysis (SAS '97). 1302. September 1997. Available online: ps.
  • Manuel Serrano. "Inline expansion: when and how?". Programming Language Implementation and Logic Programming, PLILP'97. September 1997. Available online: ps.
  • Manuel Serrano. "A Fresh Look to Inlining Decision". International Computer Symposium, ICS'95. November 1995. Available online: ps.
  • Manuel Serrano. "Control flow analysis: a functional languages compilation paradigm". Symposium on Applied Computing, SAC'95. February 1995. Available online: ps pdf.
  • 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.
  • J. Michael Ashley. "A Practical and Flexible Flow Analysis for Higher-Order Languages". PhD. Thesis. Indiana University. 1996. Available online: pdf.
  • J. Michael Ashley. "A Practical and Flexible Flow Analysis for Higher-Order Languages". Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 1996. Available online: pdf.
  • J. Michael Ashley. "The Effectiveness of Flow Analysis for Inlining". Proceedings of the 1997 ACM International Conference on Functional Programming. Available online: pdf.
  • Dominique Boucher, Marc Feeley. "Abstract Compilation: a New Implementation Paradigm for Static Analysis". Compiler Construction Conference. April 1996. Available online: ps.
  • Dominique Boucher, Marc Feeley. "Un système pour l'optimisation globale de programmes d'ordre supérieur par compilation abstraite séparée". département d'informatique et r.o., Université de Montréal. Rapport technique 992. Septembre 1995. Available online: ps.
  • Cormac Flanagan and Matthias Felleisen. "Componential Set-Based Analysis". Proceedings of PLDI 97. 1996. Available online: ps.
  • Cormac Flanagan and Matthias Felleisen. "Componential Set-Based Analysis". Transactions on Programming Languages and Systems. 1999. Available online: ps.
  • Cormac Flanagan. "Effective Static Debugging via Componential Set-Based Analysis". PhD. Thesis. Rice University. Available online: ps.
  • Cormac Flanagan and Matthias Felleisen. "Modular and Polymorphic Set-Based Analysis: Theory and Practice". Rice University. TR 96-266. 1996. Available online: ps.
  • Cormac Flanagan and Matthias Felleisen. "Set-Based Analysis for Full Scheme and Its Use in Soft-Typing". Rice University. TR 95-254. 1995. Available online: ps.
  • Olin Shivers. "Control-flow analysis in Scheme". Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation. June 1988. Available online: ps pdf.
  • Olin Shivers. "Super-beta: Copy, constant, and lambda propagation in Scheme". CMU School of Computer Science. May 1990. Available online: ps pdf.
  • Olin Shivers. "Useless-variable elimination". Proceedings of the Workshop on Static Analysis of Equational, Functional and Logic Programs. April 1990. Available online: ps pdf.
  • Olin Shivers. "CPS data-flow analysis example". CMU School of Computer Science. May 1990. Available online: ps pdf.
  • Olin Shivers. "Control-Flow Analysis of Higher-Order Languages". PhD. Thesis. Carnegie Mellon University. May 1991. Available online: ps pdf.
  • Olin Shivers. "The semantics of Scheme control-flow analysis". Proceedings of the First ACM SIGPLAN and IFIP Symposium on Partial Evaluation and Semantics-Based Program Manipulation. June 1991. Available online: ps pdf.
  • Amr Sabry and Matthias Felleisen. "Is Continuation-Passing Useful for Data Flow Analysis?". Proceedings of PLDI 94. 1994. Available online: ps.
  • Andrew E. Ayers. "Abstract Analysis and Optimization of Scheme". PhD. Thesis. MIT. 1993.
  • Bjarne Steensgaard and Morten Marquard. "A Polyvariant Closure Analysis with Dynamic Widening". May 1994. Available online: ps.
  • Dominique Boucher. "Analyse et optimisation globales de modules compilés séparément". PhD. Thesis. Université de Montréal. December 1999. Available online: ps.
  • Suresh Jagannathan and Andrew K. Wright. "Polymorphic Splitting: An Effective Polyvariant Flow Analysis". ACM Transactions on Programming Languages and Systems. March 1998. Available online: ps.
  • Suresh Jagannathan and Andrew K. Wright. "Flow-Directed Inlining". ACM Symposium on Programming Language Design and Implementation (PLDI96). May 1996. Available online: ps.
  • Suresh Jagannathan and Andrew K. Wright. "Compiling with Flow Analysis". ACM Computing Surveys. June 1996. Available online: ps.
  • Suresh Jagannathan and Andrew K. Wright. "Effective Flow Analysis for Avoiding Runtime Checks". 2nd International Static Analysis Symposium. LNCS 983. September 1995. Available online: ps.
  • Suresh Jagannathan and Andrew K. Wright. "Flow-Directed Inlining". ACM Symposium on Programming Language Design and Implementation (PLDI96). May 1996. Available online: ps.
  • Peter A. Bigot and Saumya Debray. "Return Value Placement and Tail Call Optimization in High Level Languages". Journal of Logic Programming. January 1999. Available online: ps.
  • Saumya Debray, Robert Muth and Scott Watterson. "Link-time Improvement of Scheme Programs". International Conference on Compiler Construction (CC'99). March 1999. Available online: ps.

Type Systems and Soft Typing

  • Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt. "Advanced Macrology and the Implementation of Typed Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Danny Dubé and Marc Feeley. "A Demand-Driven Adaptive Type Analysis". International Conference on Functional Programming (ICFP'2002). October 2002. Available online: ps.
  • Danny Dubé. "Demand-driven type analysis for dynamically-typed functional languages". PhD. Thesis. Université de Montréal. August 2002. Available online: ps.
  • Andrew K. Wright and Robert Cartwright. "A Practical Soft Type System for Scheme". Transactions on Programming Languages and Systems. 1997. Available online: ps.
  • Cormac Flanagan and Matthias Felleisen. "A New Way of Debugging LISP Programs". Proceedings of LUGM 98. 1998. Available online: ps.
  • Andrew K. Wright. "Practical Soft Typing". PhD. Thesis. Rice University. Available online: ps.
  • Mike Fagan. "Soft Typing: An Approach to Type Checking for Dynamically Typed Languages". PhD. Thesis. Rice University. Available online: ps.
  • Robert Cartwright and Matthias Felleisen. "Program Verification through Soft Typing". Computing Surveys. 1996. Available online: ps.
  • Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich and Matthias Felleisen. "Catching Bugs in the Web of Program Invariants". Proceedings of PLDI 96. 1996. Available online: ps.
  • Andrew K. Wright. "Simple Imperative Polymorphism". LISP and Symbolic Computation. 1995. Available online: ps.
  • Andrew K. Wright and Matthias Felleisen. "A Syntactic Approach to Type Soundness". Information and Computation. 1994. Available online: ps.
  • Andrew K. Wright and Robert Cartwright. "A Practical Soft Type System for Scheme". Proceedings of LFP 94. 1994. Available online: ps.
  • Andrew K. Wright and Robert Cartwright. "A Practical Soft Type System for Scheme". Rice University. TR 93-218. 1993. Available online: ps.
  • Robert Cartwright and Mike Fagan. "Soft Typing". Proceedings of PLDI 91. 1991. Available online: ps.
  • Olin Shivers. "Data-flow analysis and type recovery in Scheme". CMU School of Computer Science. Technical Report CMU-CS-90-115. March 1990. Available online: ps pdf.
  • Danny Dubé, Marc Feeley. "Demand-Driven Type Analysis: an Introduction". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Philippe Meunier, Robert Bruce Findler, Paul A. Steckler, Mitchell Wand. "Selectors Make Set-Based Analysis Too Hard". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Manfred Widera. "An Algorithm for Checking the Disjointness of Types". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Manfred Widera. "A Sketch of Complete Type Inference for Functional Programming". International Workshop on Functional and (Constraint) Logic Programming (WLFP 2001). September 2001. Available online: ps pdf.
  • Steven L. Jenkins and Gary T. Leavens. "Ploymorphic Type-Checking in Scheme". Journal of Computer Languages. Vol. 22. Num. 4. 1996.
  • W. F. Wong. "Optimizing Floating Point Operations in Scheme". Journal of Computer Languages. Vol. 25. 1999.
  • Mitchell Wand. "Finding the Source of Type Errors". Conference Record of the Thirteenth Annual Symposium on Principles of Programming Languages. 1986.
  • Fritz Henglein. "Global Tagging Optimization by Type Inference". Proceedings of the 1992 ACM Conference on Lisp and Functional Programming. June 1992. Available online: ACM Digital Library.
  • Fritz Henglein and Jakob Rehof. "Safe polymorphic type inference for a Dynamically Typed Language: Translating Scheme to ML". ACM Conference on Functional Programming Languages and Computer Architecture (FPCA'95). 1995. Available online: ps pdf.

Code Generation

Garbage Collection and Memory Management

  • William D Clinger and Felix S. Klock II. "Scalable Garbage Collection with Guaranteed MMU". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Adam Wick and Matthew Flatt. "Memory Accounting without Partitions". ISMM 2004. 2004. Available online: pdf.
  • Stephen Paul Carl. "A Framework for Memory-Management Experimentation". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Lars Thomas Hansen and William D. Clinger. "An Experimental Study of Renewal-Older-First Garbage Collection". International Conference on Functional Programming (ICFP'2002). October 2002. Available online: pdf.
  • Adam Wick, Matthew Flatt and Wilson Hsieh. "Reachability-based memory accounting". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: pdf.
  • Richard A. Kelsey. "Tail-Recursive Stack Disciplines for an Interpreter". Available online: ps.
  • Julia L. Lawall and Daniel P. Friedman. "Toward Leakage Containment". Computer Science Department, Indiana University. February 1992. Available online: ps.
  • James S. Miller and Guillermo J. Rozas. "Garbage Collection is Fast, But a Stack is Faster". MIT AI Lab. AIM-1462. March 1994. Available online: ps pdf.
  • R. Kent Dybvig, David Eby and Carl Bruggeman. "Don't Stop the BiBOP: Flexible and Efficient Storage Management for Dynamically-Typed Languages". Indiana University. technical report #400. March 1994. Available online: ps.
  • R. Kent Dybvig, David Eby and Carl Bruggeman. "Guardians in a Generation-based Collector". ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation. June 1993. Available online: ps.
  • Martin Larose, Marc Feeley. "A Compacting Incremental Collector and its Performance in a Production Quality Compiler". Proceedings of the 1998 International Symposium on Memory Management. October 1998. Available online: ps.
  • Manuel Serrano, Marc Feeley. "Storage Use Analysis and its Applications". ACM SIGPLAN International Conference on Functional Programming. May 1996. Available online: ps.
  • Danny Dubé, Marc Feeley, Manuel Serrano. "Un GC temps réel semi-compactant". Journées Francophones des Langages Applicatifs. January 1996. Available online: ps.
  • Manuel Serrano and Hans J. Boehm. "Understanding Memory allocations of Scheme Programs". International Conference on Functional Programming, ICFP'00. September 2000. Available online: ps.
  • David Gudeman. "Representing Type Information in Dynamically Typed Languages". University of Arizona. TR 93-27. October 1993. Available online: ps.
  • Paul R. Wilson. "Uniprocessor Garbage Collection Techniques". Available online: ps.
  • Paul R. Wilson, Michael S. Lam and Thomas G. Moher. "Caching Considerations for Generational Garbage Collection". 1992 ACM Symposium on Lisp and Functional Programming. June 1992. Available online: ps.
  • Olivier Danvy. "Memory Allocation and Higher-Order Functions". Interpreters and Interpretive Techniques (SIGPLAN'87). June 1987.
  • Guy Lewis Steele, Jr.. "Macaroni is Better than Spaghetti". Proceedings of the Symposium on Artificial Intelligence and Programming Languages. August 1977. Available online: ACM Digital Library.

Miscellaneous Implementation Topics

  • Felix S. Klock II. "The layers of Larceny's foreign function interface". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Marcus Crestani. "Foreign-Function Interfaces for Garbage-Collected Programming Languages". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Andrew W. Keep and R. Kent Dybvig. "Ftypes: Structured foreign types". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Nguyen-Minh Bui. "Toward abstract profiling". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi and Steven P. Reiss. "The Design and Implementation of a Dataflow Language for Scriptable Debugging". Automated Software Engineering Journal, 2006. 2006. Available online: downloadable paper.
  • Eli Barzilay and Dmitry Orlovsky. "Foreign Interface for PLT Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Guillaume Marceau and Gregory H. Cooper and Shriram Krishnamurthi and Steven P. Reiss. "A Dataflow Language for Scriptable Debugging". IEEE International Symposium on Automated Software Engineering (ASE2004). September 2004. Available online: downloadable paper.
  • Damien Ciabrini. "Debugging Scheme Fair Threads". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Damien Ciabrini and Manuel Serrano. "Bugloo: A Source Level Debugger for Scheme Programs Compiled into JVM Bytecode". 3th International Lisp Conference. October 2003. Available online: pdf.
  • Marc Feeley and Danny Dubé. "PICBIT: A Scheme System for the PIC Microcontroller". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • John Clements and Matthias Felleisen. "A Tail-Recursive Semantics for Stack Inspections". European Symposium on Programming (ESOP'2003). April 2003. Available online: ps pdf.
  • Danny Dubé. "BIT: A very compact Scheme system for embedded applications". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Dominique Boucher. "GOld: a link-time optimizer for Scheme". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Fred Bayer. "LispMe: An Implementation of Scheme for the PalmPilot". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Lars Thomas Hansen. "The Impact of Programming Style on the Performance of Scheme Programs". Masters Thesis. University of Oregon. August 1992. Available online: ps.
  • Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. Van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael D. Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth. "Benchmarking Implementations of Functional Languages with ``Pseudoknot'' a Float-Intensive Benchmark". Journal of Functional Programming. Vol. 6, No. 4. 1996. Available online: ps.
  • Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. Van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael D. Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth. "Benchmarking Implementations of Functional Languages with ``Pseudoknot'' a Float-Intensive Benchmark". Journal of Functional Programming. Vol. 6, No. 4. 1996. Available online: ps.
  • Matthias Felleisen and Paul A. Steckler. "Implementing a Static Debugger for a First-Order Functional Programming Language". Rice University. TR 00-359. 2000. Available online: ps.
  • John Clements, Matthew Flatt, Matthias Felleisen. "Modeling an Algebraic Stepper". Proceedings of ESOP 2001. 2001. Available online: ps pdf.
  • John Clements and Matthias Felleisen. "A Tail-Recursive Machine with Stack Inspection". Transactions on Programming Languages and Systems. 2004. Available online: pdf.
  • Robert G. Burger. "Efficient Compilation and Profile-Driven Dynamic Recompilation in Scheme". PhD. Thesis. Indiana University Computer Science Department. March 1997. Available online: ps.
  • Robert G. Burger and R. Kent Dybvig. "An infrastructure for profile-driven dynamic recompilation". IEEE Computer Society 1998 International Conference on Computer Languages. May 1998. Available online: ps.
  • Robert G. Burger and R. Kent Dybvig. "Printing Floating Point Numbers Quickly and Accurately". ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation. June 1996. Available online: ps.
  • William D. Clinger. "How to read floating point numbers accurately". Proceedings of the conference on Programming language design and implementation. June 1990. Available online: ACM Digital Library.
  • Guy Lewis Steele and Jon L. White. "How to print floating-point numbers accurately". Proceedings of the conference on Programming language design and implementation. June 1990. Available online: ACM Digital Library.
  • Christian Queinnec. "Validation Suite Generation". Revue Bigre+Globule. (65). July 1989. Available online: ps.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:47pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/page9.html b/www/page9.html new file mode 100644 index 0000000..7b99556 --- /dev/null +++ b/www/page9.html @@ -0,0 +1 @@ +Distributed, Parallel, and Concurrent Programming
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Distributed, Parallel, and Concurrent Programming

Scheme Dialects for Distributed Programming

  • Guillaume Germain, Marc Feeley and Stefan Monnier. "Concurrency Oriented Programming in Termite Scheme". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Adrien Piérard and Marc Feeley. "Towards a Portable and Mobile Scheme Interpreter". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Matthew Fuchs. "Dreme: for Life in the Net". PhD. Thesis. New York University. September 1995. Available online: ps pdf.
  • Alan Bawden. "Implementing Distributed Systems Using Linear Naming". PhD. Thesis. MIT AI Lab Technical Report AITR-1627. March 1993. Available online: ps pdf.
  • Luc Moreau, David DeRoure and Ian Foster. "NeXeme: a Distributed Scheme Based on Nexus". Third International Europar Conference (EURO-PAR'97). volume 1300 of Lecture Notes in Computer Science. August 1997. Available online: ps.
  • Luc Moreau and Christian Queinnec. "Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing". Usenix Conference on Domain-Specific Languages (DSL'97). October 1997. Available online: ps.
  • Luc Moreau. "NeXeme: A Distributed Scheme Based on Nexus (Reference Manual and User's Guide)". University of Southampton. Technical Report M97/8. November 1997. Available online: ps.
  • Christian Queinnec. "DMeroon A Distributed Class-based Causally-Coherent Data Model - General documentation". Rapport LIP6 1998/039. 1998. Available online: ps.
  • Christian Queinnec. "Distributed generic functions". Second France-Japan workshop on Object-Based Parallel and Distributed Computing -- OBPDC '97. October 1997. Available online: ps.
  • Christian Queinnec. "Distributed generic functions". Object-Oriented Parallel and Distributed Programming. 2000. Available online: ps.
  • Christian Queinnec. "Bribes de DMeroon". Actes des journées de recherche sur la Mémoire Partagée Répartie. MPR 96. May 1996.
  • Christian Queinnec. "DMeroon : Overview of a distributed class-based causally-coherent data model". PSLS 95 - Parallel Symbolic Langages and Systems. Lecture Notes in Computer Science 1068. October 1995. Available online: ps.
  • Christian Queinnec and David DeRoure. "Design of a concurrent and distributed language". Parallel Symbolic Computing: Languages, Systems, and Applications, (US/Japan Workshop Proceedings). Lecture Notes in Computer Science 748. October 1993. Available online: ps.
  • Christian Queinnec. "A concurrent and distributed extension to scheme". PARLE '92 - Parallel Architectures and Languages Europe. Lecture Notes in Computer Science 605. June 1992. Available online: ps.
  • José M. Piquer and Christian Queinnec. "Transpive: A distributed lisp system". La lettre du Transputer. 16. December 1992. Available online: ps.
  • Suresh Jagannathan. "Communication-Passing Style for Coordination Languages". 2nd International Conference on Coordination Models and Languages. Springer-Verlag LNCS 1282. September 1997. Available online: ps.
  • Suresh Jagannathan, Henry Cejtin, Richard A. Kelsey. "Higher-Order Distributed Objects". ACM Transactions on Programming Languages and Systems. September 1995. Available online: ps.
  • Rex A. Dwyer and R. Kent Dybvig. "A SCHEME for Distributed Processes". Indiana University. Computer Science Department Technical Report 107. April 1981.

Distributed Garbage Collection

  • Luc Moreau. "Correctness of a Distributed-Memory Model for Scheme". University of Southampton. Technical Report M96/3. 1996. Available online: ps.
  • Luc Moreau. "Correctness of a Distributed-Memory Model for Scheme". Second International Europar Conference (EURO-PAR'96). number 1123 in Lecture Notes in Computer Science. August 1996. Available online: ps.
  • Luc Moreau and David DeRoure. "A Distributed Garbage Collector for NeXeme". University of Southampton. 1997. Available online: ps.
  • Luc Moreau. "A Distributed Garbage Collector with Diffusion Tree Reorganisation and Object Mobility". Proceedings of the Third International Conference of Functional Programming (ICFP'98). September 1998. Available online: ps.
  • Luc Moreau. "Hierarchical Distributed Reference Counting". Proceedings of the First ACM SIGPLAN International Symposium on Memory Management (ISMM'98). October 1998. Available online: ps.

Other Topics in Distributed Compututing

  • Anthony Cowley. "Distributed Software Transactional Memory". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Aaron Kimball and Dan Grossman. "Software Transactions Meet First-Class Continuations". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Stéphane Epardaud. "Mobile Reactive Programming in ULM". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Jörg F. Wittenberger. "Askemos - a distributed settlement". SSGRR2002. 2002. Available online: pdf.
  • Carl Dionne, Marc Feeley, Jocelyn Desbiens. "A Taxonomy of Distributed Debuggers Based on Execution Replay". International Conference on Parallel and Distributed Processing Techniques. August 1996. Available online: ps.
  • Marc Feeley. "Lazy Remote Procedure Call and its Implementation in a Parallel Variant of C". 1995. Available online: ps.
  • Jan Vitek, Manuel Serrano and Dimitri Thanos. "Security and Communication in Mobile Object Systems". Mobile Object Systems. 1997. Available online: ps.
  • Eijiro Sumii. "An implementation of transparent migration on standard Scheme". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Luc Moreau and Christian Queinnec. "On the Finiteness of Resources in Distributed Computing". INRIA. Research Report RR-3147. April 1997. Available online: ps pdf.
  • Luc Moreau and Christian Queinnec. "Distributed Computations Driven by Resource Consumption". IEEE International Conference on Computer Languages (ICCL'98). May 1998. Available online: ps pdf.
  • Suresh Jagannathan. "Virtual Topologies: A New Concurrency Abstraction for High-Level Parallel Programs". 5th Workshop on Languages and Compilers for Parallel Computing. September 1995. Available online: ps.
  • Suresh Jagannathan. "TS-Scheme: Distributed Data Structures in Lisp". Lisp and Symbolic Computation. December 1994. Available online: ps.
  • Suresh Jagannathan. "Locality Abstractions for Parallel and Distributed Computing". International Conference on Theory and Practice of Parallel Programming. Springer-Verlag LNCS 907. November 1994. Available online: ps.
  • Suresh Jagannathan. "Expressing Fine-Grained Parallelism Using Distributed Data Structures". Workshop on Research Directions in High-Level Parallel Languages. Springer-Verlag LNCS 574. June 1991. Available online: ps.
  • Suresh Jagannathan. "Customization of First-Class Tuple-Spaces in a Higher-Order Language". Parallel Languages and Architectures. LNCS 506. June 1991. Available online: ps.
  • Suresh Jagannathan. "Optimizing Analysis for First-Class Tuple-Spaces". 3rd Workshop on Parallel Languages and Compilers. August 1990. Available online: ps.
  • Christian Queinnec. "Marshaling/unmarshaling as a compilation/interpretation process". Symposium IPPS/SPDP 1999 - 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. April 1999. Available online: ps.
  • Christian Queinnec. "Marshaling/unmarshaling as a compilation/interpretation process". Research Report LIP6/1998/049, LIP6. December 1998. Available online: ps.
  • Christian Queinnec. "Sérialisation-désérialisation en DMeroon". NOTERE97 -- Colloque international sur les NOuvelles TEchnologies de la RÉpartition. November 1997. Available online: ps.
  • Christian Queinnec. "Sharing mutable objects and controlling groups of tasks in a concurrent and distributed language". Proceedings of the Workshop on Theory and Practice of Parallel Programming (TPPP'94). Lecture Notes in Computer Science 907. November 1994. Available online: ps.

Extension of Scheme for Parallel and Concurrent Programming

  • Damien Ciabrini. "Debugging Scheme Fair Threads". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Pete Tinker and Morry Katz. "Parallel execution of sequential scheme with ParaTran". 1988 ACM conference on LISP and functional programming. 1988. Available online: ACM Digital Library.
  • Robert H. Halstead. "MULTILISP: a language for concurrent symbolic computation". ACM Transactions on Programming Languages and Systems (TOPLAS). 7. 4. October 1985. Available online: ACM Digital Library.
  • David A. Kranz, Robert H. Halstead and Eric Mohr. "Mul-T: a high-performance parallel Lisp". Programming language design and implementation 1989. 1989. Available online: ACM Digital Library.
  • Eric Mohr, David A. Kranz and Robert H. Halstead. "Lazy task creation: a technique for increasing the granularity of parallel programs". Proceedings of the 1990 ACM conference on LISP and functional programming. 1990. Available online: ACM Digital Library.
  • Robert H. Halstead. "Implementation of multilisp: Lisp on a multiprocessor". Proceedings of the 1984 ACM Symposium on LISP and functional programming. 1984. Available online: ACM Digital Library.
  • Robert H. Halstead and J. Loaiza. "Exception handling in Multilisp". 1985 Int. Conf. Parallel Processing. August 1985.
  • Robert H. Halstead. "Overview of concert multilisp: a multiprocessor symbolic computing system". 15. 1. March 1987.
  • James S. Miller. "Multischeme: A Parallel Processing System based on MIT Scheme". PhD. Thesis. Massachusetts Institute of Technology. MIT Technical Report MIT/LCS/TR-402. September 1987.
  • Christian Queinnec. "Crystal Scheme, A Language for Massively Parallel Machines". Second Symposium on High Performance Computing. October 1991. Available online: ps.
  • Christian Queinnec. "PolyScheme : A Semantics for a Concurrent Scheme". Workshop on High Performance and Parallel Computing in Lisp. November 1990. Available online: ps.
  • James Philbin. "An Overview of the Sting Operating System". Proceedings of the 4th NEC Software Conference. October 1992. Available online: ps.
  • James Philbin. "Customizable Policy Management in the Sting Operating System". US/Japan Workshop on Parallel Symbolic Computing, Springer-Verlag LNCS 748. October 1992.
  • James Philbin. "STING: An Operating System for Modern Languages". PhD. Thesis. Yale University. May 1993.
  • Suresh Jagannathan, James Philbin. "A Customizable Substrate for Concurrent Languages". ACM Conference on Programming Language Design and Implementation (PLDI92). June 1992. Available online: ps.
  • Suresh Jagannathan, James Philbin. "A Foundation for an Efficient Multi-Threaded Scheme System". ACM Conference on Lisp and Functional Programming (LFP92). June 1992. Available online: ps.
  • Luc Moreau and Daniel Ribbens. "The Semantics of pcall and fork". PSLS 95 - Parallel Symbolic Langages and Systems. number 1068 in Lecture Notes in Computer Science. October 1995. Available online: ps.
  • Kenjiro Taura, Akinori Yonezawa. "Schematic: A Concurrent Object-Oriented Extension to Scheme". Workshop on Object-Based Parallel and Distributed Computing (OBPDC'96). 1996. Available online: ps.
  • 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.

Threading and Parallel Programming with Continuations

  • Manuel Serrano, Frédéric Boussinot and Bernard Serpette. "Scheme FairThreads". 2th International Lisp Conference. October 2002.
  • Manuel Serrano, Frédéric Boussinot and Bernard Serpette. "Scheme Fair Threads". Principles and Practice of Declarative Programming (PPDP 2004). August 2004. Available online: html.
  • Martin Gasbichler and Michael Sperber. "Processes vs. user-level threads in scsh". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps pdf.
  • Christopher T. Haynes and Daniel P. Friedman. "Abstracting Timed Preemption with Engines". Journal of Computer Languages. 12. 2. 1987.
  • Christopher T. Haynes and Daniel P. Friedman. "Engines Build Process Abstractions". Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming. 1984. Available online: ACM Digital Library.
  • R. Kent Dybvig and Robert Hieb. "Continuations and Concurrency". Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. March 1990. Available online: ACM Digital Library.
  • Mitchell Wand. "Continuation-Based Multiprocessing". Conference Record of the 1980 Lisp Conference. 1980. Available online: ACM Digital Library.
  • Mitchell Wand. "Continuation-Based Multiprocessing Revisited". Higher-Order and Symbolic Computation. 12(3). October 1999. Available online: ps.
  • Mitchell Wand. "Continuation-Based Multiprocessing". Higher-Order and Symbolic Computation. 12(3). October 1999. Available online: ps.
  • Robert Hieb, R. Kent Dybvig and Claude W. Anderson III. "Subcontinuations". Lisp and Symbolic Computation. 7, 1. January 1994. Available online: ps.
  • Olin Shivers. "Continuations and threads: Expressing machine concurrency directly in advanced languages". Proceedings of the Second ACM SIGPLAN Workshop on Continuations. January 1997. Available online: ps.
  • Luc Moreau. "Programming in a Parallel Functional Language with Continuations". Avancées Applicatives. Journées Francophones des Langages Applicatifs (JFLA'92). volume 76-77. February 1992. Available online: ps.
  • Luc Moreau. "An Operational Semantics for a Parallel Language with Continuations". Parallel Architectures and Languages Europe (PARLE'92). number 605 in Lecture Notes in Computer Science. June 1992. Available online: ps.
  • Luc Moreau and Daniel Ribbens. "Sound Rules for Parallel Evaluation of a Functional Language with callcc". ACM conference on Functional Programming and Computer Architecture (FPCA'93). June 1993. Available online: ps.
  • Luc Moreau. "The PCKS-machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations". European Symposium on Programming (ESOP'94). number 788 in Lecture Notes in Computer Science. April 1994. Available online: ps.
  • Luc Moreau. "Sound Evaluation of Parallel Functional Programs with First-Class Continuations". PhD. Thesis. University of Liège. June 1994. Available online: ps.
  • Luc Moreau. "A Parallel Functional Language with First-Class Continuations (Programming Style and Semantics)". Computers and Artificial Intelligence. 14(2). 1995. Available online: ps.
  • Luc Moreau. "Non-speculative and Upward Invocation of Continuations in a Parallel Language". International Joint Conference on Theory and Practice of Software Development (TAPSOFT/FASE'95). number 915 in Lecture Notes in Computer Science. May 1995. Available online: ps.

Futures and Multi-Lisp

  • Marc Feeley. "An Efficient and General Implementation of Futures on Large Scale Shared-Memory Multiprocessors". PhD. Thesis. Brandeis University. April 1993. Available online: ps.
  • Luc Moreau. "The Semantics of Scheme with Future". University of Southampton. Technical Report M95/7. 1995. Available online: ps.
  • Luc Moreau. "The Semantics of Future in the Presence of First-Class Continuations and Side-effects". University of Southampton. Technical Report M95/3. November 1995. Available online: ps.
  • Luc Moreau. "The Semantics of Scheme with Future". ACM SIGPLAN International Conference on Functional Programming (ICFP'96). May 1996. Available online: ps.
  • Luc Moreau. "Continuing into the Future: the Return (Invited Paper)". 8th International Conference in Systems Research Informatics and Cybernetics (InterSymp'96). August 1996. Available online: ps.
  • Alessandro Forin. "Futures". Topics in Advanced Language Implementation. 1991.
  • Morry Katz and Daniel Weise. "Continuing Into the Future: On the Interaction of Futures and First-Class Continuations". Proceedings of the 1990 ACM Conference on Lisp and Functional Programming. June 1990. Available online: ACM Digital Library.
  • Cormac Flanagan and Matthias Felleisen. "The Semantics of Future and Its Use in Program Optimizations". Proceedings of POPL 95. 1995. Available online: ps.
  • Cormac Flanagan and Matthias Felleisen. "Well-Founded Touch Optimization for Futures". Rice University. TR 94-239. 1994. Available online: ps.
  • Cormac Flanagan and Matthias Felleisen. "The Semantics of Futures". Rice University. TR 94-238. 1994. Available online: ps.

Other Topics in Parallel and Concurrent Programming

  • Matthew Flatt, Robert Bruce Findler. "Kill-Safe Synchronization Abstractions". Programming Language Design and Implementation (PLDI 2004). 2004. Available online: pdf.
  • Simon M. Kaplan and Joseph P. Loyall. "GARP/Scheme: Implementing a Concurrent, Object-Based Language". BIGRE Bulletin. 65. July 1989.
  • Pee Hong Chen and Daniel P. Friedman. "Prototyping Data Flow by Translation Into Scheme". Indiana University. Computer Science Technical Report 147. August 1983.
  • Dominique Boucher, Marc Feeley. "Construction parallèle de l'automate LR(0): Une application de Multilisp à la compilation". Actes des 6ème Rencontres Francophones du Parallélisme. Juin 1994. Available online: ps.
  • Marc Feeley, Marcel Turcotte, Guy Lapalme. "Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination". Lisp and Symbolic Computation. Vol. 7. 1994. Available online: ps.
  • Marc Feeley. "A Message Passing Implementation of Lazy Task Creation". 748. November 1993. Available online: ps.
  • Marc Feeley, James S. Miller. "A Parallel Virtual Machine for Efficient Scheme Compilation". Proceedings of the 1990 ACM SIGPLAN Conference on Lisp and Functional Programming. June 1990. Available online: ps.
  • Suresh Jagannathan, James Philbin. "High-Level Abstractions for Efficient Concurrent Systems". International Conference on Programming Languages and Systems Architecture. Springer-Verlag LNCS 782. March 1994. Available online: ps.
  • Suresh Jagannathan, Stephen Weeks and James Philbin. "A Concurrent Abstract Interpreter". Lisp and Symbolic Computation. April 1994. Available online: ps.
  • Suresh Jagannathan, Stephen Weeks. "Analyzing Stores and References in Parallel Symbolic Languages". ACM Symposium on Lisp and Functional Programming (LFP94). June 1994. Available online: ps.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:48pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/pagexml.html b/www/pagexml.html new file mode 100644 index 0000000..0c61fca --- /dev/null +++ b/www/pagexml.html @@ -0,0 +1 @@ +XML and Web Programming
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

XML and Web Programming

  • Jay McCarthy and Shriram Krishnamurthi. "Interaction-Safe State for the Web". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke and Matthias Felleisen. "Modeling Web Interactions and Errors". Interactive Computation: The New Paradigm. 2005. Available online: downloadable paper.
  • Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen. "Automatically Restructuring Software for the Web". Journal of Automated Software Engineering. 2004. Available online: downloadable paper.
  • Manuel Serrano. "The HOP Development Kit". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Remzi Emre Başar, Caner Derici and Çağdaş Şenol. "World With Web: A compiler from world applications to JavaScript". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Ray Rischpater. "Scheme for Client-Side Scripting in Mobile Web Browsing, or AJAX-Like Behavior Without Javascript". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Kirill Lisovsky, Dmitry Lizorkin. "XSLT and XLink and their implementation with functional techniques". Russian Digital Libraries Journal. Vol. 6 - No 5. 2003. Available online: html.
  • Peter Walton Hopkins. "Enabling Complex UI In Web Applications With send/suspend/dispatch". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Kirill Lisovsky, Dmitry Lizorkin. "XML Path Language (XPath) and its functional implementation SXPath". Russian Digital Libraries Journal. Vol. 6 - No 4. 2003. Available online: html.
  • Michael Bridgen, Noel Welsh, Matthias Radestock. "Scheme in The Real World: A Case Study". August 2003. Available online: pdf.
  • Kurt Nørmark. "XML Transformation in Scheme with LAML - a Minimalistic Approach". International Lisp Conference 2003. October 2003. Available online: ps pdf.
  • Kirill Lisovsky. "Scheme-based XML Application Server". Workshop on Advanced Functional Programming (AFP'2002). August 2002.
  • Paul T. Graunke. "Web Interactions". PhD. Thesis. Northeastern University. 2003. Available online: ps pdf.
  • Kurt Nørmark. "The duality of XML Markup and Programming notation". IADIS WWW/Internet 2003. November 2003. Available online: pdf.
  • Kurt Nørmark. "Web Programming in Scheme with LAML". April 2003. Available online: ps pdf.
  • Oleg Kiselyov and Shriram Krishnamurthi. "SXSLT: Manipulation Language for XML". Practical Aspects of Declarative Languages (PADL'03). January 2003. Available online: downloadable paper slides.
  • Shriram Krishnamurthi. "The Continue Server (or, How I Administered PADL 2002 and 2003)". Practical Aspects of Declarative Languages (PADL'03). January 2003. Available online: downloadable paper.
  • Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen. "Modeling Web Interactions". European Symposium on Programming (ESOP). April 2003. Available online: ps pdf.
  • Matthias Felleisen. "Developing Interactive Web Programs". Summer School on Advanced Functional Programming 2002. August 2002. Available online: ps.
  • Oleg Kiselyov and Kirill Lisovsky. "XML, XPath, XSLT implementations as SXML, SXPath, and SXSLT". International Lisp Conference (2002). September 2002. Available online: pdf talk (pdf).
  • Andy Wingo. "Applications of Fold to XML Transformation". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Jörg F. Wittenberger. "Askemos - a distributed settlement". SSGRR2002. 2002. Available online: pdf.
  • Kurt Nørmark. "XML in LAML - Web Programming in Scheme". August 2002. Available online: ps pdf.
  • Kurt Nørmark. "Development of LAML - A Suite of Web Software for Scheme". May 2002. Available online: ps pdf.
  • Kurt Nørmark. "Web Programming in Scheme - the LAML approach". April 2002. Available online: ps pdf examples.
  • Mikael Hansen, Paw Iversen and Jimmy Juncker. "SLAML - Server side LAML". Masters Thesis. Aalborg University. June 2002. Available online: ps.
  • Mikael Hansen, Paw Iversen and Jimmy Juncker. "SLAML - Server side LAML (Preliminary Masters Thesis Report)". Aalborg University. January 2002. Available online: ps.
  • Carsten Hellegaard. "POWER - Program Oriented Web EngineeRing". Masters Thesis. Aalborg University. June 2000. Available online: ps pdf.
  • Manuel Serrano and Erick Gallesio. "This is Scribe!". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps html.
  • Oleg Kiselyov. "A better XML parser through functional programming". Fourth International Symposium on Practical Aspects of Declarative Languages (PADL '02). January 2002. Available online: ps slides.
  • Oleg Kiselyov. "The SXML Specification, Revision 2.5". September 2002. Available online: html.
  • Oleg Kiselyov. "Literate XML/DTD programming". April 2001. Available online: html.
  • Oleg Kiselyov. "HTML/XML authoring in Scheme". February 2001. Available online: html.
  • Timothy J. Hickey. "Incorporating Scheme-based web programming in computer-literacy courses". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: pdf.
  • Timothy J. Hickey. "Incorporating Scheme-based Web Programmming into Computer Literacy Courses". Brandeis University. CS-02-224. April 2002. Available online: ps pdf.
  • Timothy J. Hickey. "Jscheme Web Programming for CS0". Brandeis University. CS-02-223. January 2002. Available online: ps.
  • Christian Queinnec. "A library for quizzes". Workshop on Scheme and Functional Programming (2002). October 2002. Available online: ps pdf.
  • Christian Queinnec. "Inverting back the inversion of control or, continuations versus page-centric programming". Technical Report 7, LIP6. May 2001. Available online: ps pdf.
  • Christian Queinnec. "The influence of browsers on evaluators or, continuations to program web servers". ICFP '2000 - International Conference on Functional Programming. September 2000. Available online: ps.
  • Danius Michaelides, Luc Moreau and David DeRoure. "A Uniform Approach to Programming the World Wide Web". Computer Systems Science and Engineering. 14(2):69-91. 1999. Available online: ps.
  • Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen. "Automatically Restructuring Programs for the Web". IEEE International Symposium on Automated Software Engineering (ASE 2001). 2001. Available online: ps pdf.
  • Paul T. Graunke, Shriram Krishnamurthi, Van der Hoeven and Matthias Felleisen. "Programming the Web with High-Level Programming Languages". European Symposium on Programming (ESOP 2001). 2001. Available online: ps pdf.
  • John Clements, Paul T. Graunke, Shriram Krishnamurthi and Matthias Felleisen. "Little Languages and their Programming Environments". Proceedings of Monterey Workshop 2001. 2001. Available online: pdf.
  • John Clements, Shriram Krishnamurthi, Matthias Felleisen. "Little Languages and their Programming Environments ". Rice University. TR 99-350. 1999. Available online: pdf ps.
  • Shriram Krishnamurthi, Kathryn E. Gray and Paul T. Graunke. "Transformation-by-Example for XML". Practical Aspects of Declarative Languages (PADL 2000). 2000. Available online: downloadable paper.
  • Kurt Nørmark. "Programming World Wide Web pages in Scheme". Sigplan Notices. vol. 34, no. 12. 1999. Available online: ps pdf.
  • Kurt Nørmark. "Using Lisp as a Markup Language -- The LAML Approach". European Lisp User Group Meeting, Amsterdam. 1999. Available online: ps pdf.
  • Kurt Nørmark. "A Suite of WWW-based Tools for Advanced Course Management". Innovation and Technology in Computer Science Education (ITiCSE, Finland). July 2000. Available online: ps pdf.
  • Kurt Nørmark. "Programmatic WWW authoring using Scheme and LAML". WWW2002: The Eleventh International World Wide Web Conference. March 2002. Available online: html.
  • Kurt Nørmark. "WEB Based Lecture Notes - The LENO Approach". November 2001. Available online: ps pdf.
  • Oleg Kiselyov. "XML and Scheme". A micro-talk presentation at a Workshop on Scheme and Functional Programming 2000. September 2000. Available online: html.
  • Oleg Kiselyov. "Implementing Metcast in Scheme". Scheme and Functional Programming 2000. September 2000. Available online: ps pdf.
  • Bruce R. Lewis. "BRL: A database-oriented language to embed in HTML and other markup". June 2001. Available online: pdf.
  • Kirill Lisovsky. "Scheme program souce code as a semistructured data". 2nd Workshop on Scheme and Functional Programming. September 2001. Available online: ps pdf.
  • Kurt Nørmark. "Deriving a Comprehensive Document from a Concise Document - Document Engineering in Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Manuel Serrano. "HopTex, compiling HTML to LaTeX with CSS". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:46pm
HTML generated using WebIt!.

\ No newline at end of file diff --git a/www/whats_new.html b/www/whats_new.html new file mode 100644 index 0000000..4d2647a --- /dev/null +++ b/www/whats_new.html @@ -0,0 +1 @@ +Recent Additions...
Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Recent Additions...

August 10, 2012

August 5, 2012

  • Manuel Serrano. "The HOP Development Kit". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Ray Rischpater. "Scheme for Client-Side Scripting in Mobile Web Browsing, or AJAX-Like Behavior Without Javascript". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Jay McCarthy and Shriram Krishnamurthi. "Interaction-Safe State for the Web". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Jacob Matthews. "Component Deployment with PLaneT: You Want it Where?". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Xavier Saint-Mleux, Marc Feeley and Jean-Pierre David. "SHard: a Scheme to Hardware Compiler". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund and Cormac Flanagan. "Sage: Hybrid Checking for Flexible Specifications". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • William D. Clinger. "Rapid Case Dispatch in Scheme". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Richard Cleis and Keith Wilson. "Experiences with Scheme in an Electro-Optics Laboratory". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Guillaume Germain, Marc Feeley and Stefan Monnier. "Concurrency Oriented Programming in Termite Scheme". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Ryan Culpepper and Matthias Felleisen. "A Stepper for Scheme Macros". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Abdulaziz Ghuloum. "An Incremental Approach to Compiler Construction". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • William E. Byrd and Daniel P. Friedman. "From Variadic Functions to Variadic Relations: A miniKanren Perspective". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Jeremy G. Siek and Walid Taha. "Gradual Typing for Functional Languages". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Danny Dubé and Anass Kadiri. "Automatic construction of parse trees for lexemes". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Eli Barzilay. "A Self-Hosting Evaluator using HOAS". 2006 Workshop on Scheme and Functional Programming. September 2006. Available online: pdf.
  • Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt. "Advanced Macrology and the Implementation of Typed Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Philip Wadler and Robert Bruce Findler. "Well-typed programs can't be blamed". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Abdulaziz Ghuloum and R. Kent Dybvig. "Generation-Friendly Eq Hash Tables". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Florian Loitsch. "Exceptional Continuations in JavaScript". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Aaron Kimball and Dan Grossman. "Software Transactions Meet First-Class Continuations". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Adrien Piérard and Marc Feeley. "Towards a Portable and Mobile Scheme Interpreter". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Andy Wingo. "Applications of Fold to XML Transformation". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • William E. Byrd and Daniel P. Friedman. "lpha Kanren - A Fresh Name in Nominal Logic Programming". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Patrick Meredith, Mark Hills, and Grigore Rosu. "An Executable Rewriting Logic Semantics of K-Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Nguyen-Minh Bui. "Toward abstract profiling". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Kurt Nørmark. "Deriving a Comprehensive Document from a Concise Document - Document Engineering in Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Wim Vanderbauwhede. "Gannet: a Scheme for Task-level Reconfiguration of Service-based Systems-on-Chip". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • Jean-Michel Hufflen. "Implementing Language-Dependent Lexicographic Orders in Scheme". 2007 Workshop on Scheme and Functional Programming. September 2007. Available online: pdf.
  • John Clements, Ayswarya Sundaram and David Herman. "Implementing continuation marks in JavaScript". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Vincent St-Amour, Lysiane Bouchard and Marc Feeley. "Small Scheme Stack: a Scheme TCP/IP stack targeting small embedded applications". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Olivier Danvy. "Towards compatible and interderivable semantic specifications for the Scheme programming language, part I: abstract machines, natural semantics, and denotational semantics". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Małgorzata Biernacka and Olivier Danvy. "Towards compatible and interderivable semantic specifications for the Scheme programming language, part II: reduction semantics and abstract machines". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Ken Dickey. "Thinking Scheme". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Marcus Crestani. "Foreign-Function Interfaces for Garbage-Collected Programming Languages". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Felix S. Klock II. "The layers of Larceny's foreign function interface". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Jeremiah Willcock, Andrew Lumsdaine and Daniel Quinlan. "Tabled execution in Scheme (Scheme Pearl)". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • David Herman and David Van Horn. "A few principles of macro design". 2008 Workshop on Scheme and Functional Programming. September 2008. Available online: pdf.
  • Carl Eastlund and Matthias Felleisen. "Sequence Traces for Object-Oriented Executions". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • William D Clinger and Felix S. Klock II. "Scalable Garbage Collection with Guaranteed MMU". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Casey Klein and Robert Bruce Findler. "Randomized Testing in PLT Redex". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Andrew W. Keep, Michael D. Adams, Lindsey Kuper, William E. Byrd and Daniel P. Friedman. "A pattern-matcher for miniKanren -or- How to get into trouble with CPS macros". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Eric Tanter. "Higher-Order Aspects in Order". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Abdulaziz Ghuloum and R. Kent Dybvig. "Fixing Letrec (reloaded)". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Eli Barzilay. "The Scribble Reader: An Alternative to S-expressions for Textual Content". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Matthew Might and Tarun Prabhu. "Interprocedural Dependence Analysis of Higher-Order Programs via Stack Reachability". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Aaron W. Hsu. "Descot: Distributed Code Repository Framework". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Matthew Flatt and Eli Barzilay. "Keyword and Optional Arguments in PLT Scheme". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Mehmet Fatih Köksal, Remzi Emre Başar, Suzan Üsküdarlı. "Screen-Replay: A Session Recording and Analysis Tool for DrScheme". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • John Moore. "Get stuffed: Tightly packed abstract protocols in Scheme". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Anthony Cowley. "Distributed Software Transactional Memory". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Remzi Emre Başar, Caner Derici and Çağdaş Şenol. "World With Web: A compiler from world applications to JavaScript". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Olivier Danvy. "Peter J Landin (1930-2009)". 2009 Workshop on Scheme and Functional Programming. August 2009. Available online: pdf.
  • Hari Prashanth and Sam Tobin-Hochstadt. "Functional Data Structures for Typed Racket". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Aaron W. Hsu. "Implementing User-level Value-weak Hashtables". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Christopher Earl, Matthew Might and David Van Horn. "Pushdown Control-Flow Analysis of Higher-Order Programs". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Guillaume Marceau, Kathi Fisler and Shriram Krishnamurthi. "Measuring the Effectiveness of Error Messages Designed for Novice Programmers". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Guillaume Cartier and Louis-Julien Guillemette. "JazzScheme: Evolution of a Lisp-Based Development System". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Ian Barland, Robert Findler, and Matthew Flatt. "The Design of a Functional Image Library". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Andrew Keep and R. Kent Dybvig. "Enabling cross-library optimization and compile-time error checking in the presence of procedural macros". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Mario Latendresse. "Guiding Requirements for the Ongoing Scheme Standardization Process". 2010 Workshop on Scheme and Functional Programming. August 2010. Available online: pdf.
  • Kevin Atkinson and Matthew Flatt. "Adapting Scheme-Like Macros to a C-Like Language". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Claire E. Alvis, Jeremiah J. Willcock, Kyle M. Carter, William E. Byrd and Daniel P. Friedman. "cKanren: miniKanren with Constraints". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Andrew W. Keep and R. Kent Dybvig. "Ftypes: Structured foreign types". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Manuel Serrano. "HopTex, compiling HTML to LaTeX with CSS". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Christophe Scholliers, Eric Tanter and Wolfgang De Meuter. "Computational Contracts". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Aaron W. Hsu. "Hygienic Literate Programming: Lessons from ChezWEB". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.
  • Keeping it Clean with syntax-parameterize. "Eli Barzilay, Ryan Culpepper, Matthew Flatt". 2011 Workshop on Scheme and Functional Programming. October 2011. Available online: pdf.

March 8, 2007

  • Guillermo J. Rozas. "A Computational Model for Observation in Quantum Mechanics". Masters Thesis. Massachusetts Institute of Technology. AITR-925. March 1987. Available online: ps pdf.

August 27, 2006

  • Jay McCarthy and Shriram Krishnamurthi. "Interaction-Safe State for the Web". Scheme and Functional Programming, 2006. September 2006. Available online: downloadable paper.
  • Christopher Dutchyn, David B. Tucker and Shriram Krishnamurthi. "Semantics and Scoping of Aspects in Higher-Order Languages". Science of Computer Programming. 2006. Available online: downloadable paper.
  • Daniel Ignatoff, Gregory H. Cooper and Shriram Krishnamurthi. "Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages". Functional and Logic Programming Symposium. 2006. Available online: downloadable paper.
  • Gregory H. Cooper and Shriram Krishnamurthi. "Embedding Dynamic Dataflow in a Call-by-Value Language". European Symposium on Programming, 2006. 2006. Available online: downloadable paper.
  • Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi and Steven P. Reiss. "The Design and Implementation of a Dataflow Language for Scriptable Debugging". Automated Software Engineering Journal, 2006. 2006. Available online: downloadable paper.

January 22, 2006

  • Anders Bondorf. "Compiling laziness by partial evaluation". Functional Programming, Glasgow 1990. 1990. 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.

January 15, 2006

  • R. Kent Dybvig, Daniel P. Friedman, and Michael Y. Levin. "Implementation strategies for Scheme-based Prolog systems". 1998. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "LogScheme: Integrating Logic Programming into Scheme". LISP and Symbolic Computation. 3(3). September 1990. Available online: .
  • R. Kent Dybvig, Daniel P. Friedman and Christopher T. Haynes. "Expansion-Passing Style: A General Macro Mechanism". LISP and Symbolic Computation. 1(1). June 1988. Available online: pdf.
  • Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp: an Object-Oriented Dialect of Scheme". Lisp and Symbolic Computation: An International Journal. 1. 1. May 1988. Available online: ps pdf.
  • Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp: an Object-Oriented Scheme with First Class Types". ACM Conference on Object-Oriented Systems, Programming, Languages and Applications. September 1986. Available online: pdf ACM Digital Library.

January 14, 2006

  • Philippe Meunier, Robert Bruce Findler and Matthias Felleisen. "Modular Set-Based Analysis from Contracts". Principles of Programming Languages, POPL 2006. January 2006. Available online: pdf.
  • Ryan Culpepper and Matthias Felleisen. " Taming Macros". Generative Programming and Component Engineering (GPCE 2004). October 2004. Available online: ps pdf.
  • Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi and Matthias Felleisen. "Continuations from Generalized Stack Inspection". International Conference on Functional Programming, ICFP 2005. September 2005. Available online: downloadable paper.
  • Shriram Krishnamurthi. "Automata as Macros". Journal of Functional Programming. 2005. Available online: downloadable paper.
  • Shriram Krishnamurthi, Robert Bruce Findler, Paul Graunke and Matthias Felleisen. "Modeling Web Interactions and Errors". Interactive Computation: The New Paradigm. 2005. Available online: downloadable paper.
  • Darrell Ferguson and Dwight Deugo. "Call with Current Continuation Patterns". 8th Conference on Pattern Languages of Programs. September 2001. Available online: ps pdf.

January 5, 2006

  • 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. "Automatic Autoprojection of higher order recursive equations". Science of Computer Programming. volume 17. 1991. Available online: ps pdf.

December 26, 2005

New Papers from the Scheme Workshop 2005:
  • Ronald Garcia and Andrew Lumsdaine. "Type Classes Without Types". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Sebastian Egner. "Eager Comprehensions in Scheme: The design of SRFI-42". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Jonathan Sobel, Erik Hilsdale, R. Kent Dybvig, Daniel P. Friedman. "Abstraction and Performance from Explicit Monadic Reflection". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Jacob Matthews and Robert Bruce Findler. "An Operational Semantics for R5RS Scheme". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Martin Gasbichler and Eric Knauel. "Commander S - The shell as a browser". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Erick Gallesio and Manuel Serrano. "Ubiquitous Mails". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Jean-Michel Hufflen. "Implementing a Bibliography Processor in Scheme". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Chongkai Zhu. "The Marriage of MrMathematica and MzScheme". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Alan Pavicic and Niksa Bosnic. "ACT Parameterization Framework". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.
  • Florian Loitsch. "Javascript to Scheme Compilation". 2005 Workshop on Scheme and Functional Programming. September 2005. Available online: ps pdf.

January 16, 2005

  • Robert Bruce Findler and Matthias Felleisen. "Contracts for Higher-Order Functions". University of Chicago. October 2002. Available online: ps pdf.
  • Robert Bruce Findler, Matthias Blume and Matthias Felleisen. "An Investigation of Contracts as Projections". University of Chicago. TR-2004-02. April 2004. Available online: ps pdf.
  • Olivier Danvy. "Across the Bridge between Reflection and Partial Evaluation". Partial Evaluation and Mixed Computation. 1988.
  • Manuel Serrano, Frédéric Boussinot and Bernard Serpette. "Scheme FairThreads". 2th International Lisp Conference. October 2002.
  • Damien Ciabrini and Manuel Serrano. "Bugloo: A Source Level Debugger for Scheme Programs Compiled into JVM Bytecode". 3th International Lisp Conference. October 2003. Available online: pdf.
  • Yannis Bres and Bernard Serpette and Manuel Serrano. "Compiling Scheme programs to .NET Common Intermediate Language". 2nd International Workshop on .NET Technologies. May 2004. Available online: pdf.
  • Manuel Serrano, Frédéric Boussinot and Bernard Serpette. "Scheme Fair Threads". Principles and Practice of Declarative Programming (PPDP 2004). August 2004. Available online: html.
  • Yannis Bres and Bernard Serpette and Manuel Serrano. "Bigloo.NET: compiling Scheme to .NET CLR". Journal of Object Technology. 3(9). October 2004. Available online: html.
  • Erick Gallesio and Manuel Serrano. "Biglook: a Widget Library for the Scheme Programming Language". 2002 Usenix annual technical conference. June 2002. Available online: html.
  • Morten Rhiger. "A Study in Higher-Order Programming Languages". Masters Thesis. Aarhus University. December 1997. Available online: ps pdf.
  • Torben Æ. Mogensen. "Gödelization in the untyped lambda calculus". Partial Evaluation and Semantics-Based Program Manipulation (PEPM99). January 1999. 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.
  • 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.
  • 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.

December 8, 2004

  • 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.
  • Olivier Danvy. "Intensional and Extensional Aspects of Partial Evaluation". Aarhus University. March 1995. 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.
  • René Vestergaard. "From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation". Masters Thesis. Aarhus University. 1997. Available online: ps pdf.
  • Olivier Danvy and Morten Rhiger. "Compiling Actions by Partial Evaluation, Revisited". Aarhus University. June 1998. 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.
  • 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.
  • 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 Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. 1996. Available online: ps pdf.
  • Robert Glück 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 Glück and Jesper Jørgensen. "Multi-Level Specialization (Extended Abstract)". Partial Evaluation: Practice and Theory 1998. 1998. 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.
  • Christian Mossin. "Similix Binding Time Debugger Manual, system version 4.0". September 1991.
  • 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.
  • Darius Bacon. "A Hacker's Introduction to Partial Evaluation". The Lisp Magazine at lisp-p.org. August 2002. Available online: html.

October 17, 2004

  • 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.
  • Peter A. Bigot and Saumya Debray. "Return Value Placement and Tail Call Optimization in High Level Languages". Journal of Logic Programming. January 1999. Available online: ps.
  • Saumya Debray, Robert Muth and Scott Watterson. "Link-time Improvement of Scheme Programs". International Conference on Compiler Construction (CC'99). March 1999. Available online: ps.

September 29, 2004

  • Karoline Malmkjær. "Towards Efficient Partial Evaluation". Partial evaluation and semantics-based program manipulation (PEPM'93). August 1993. Available online: ps pdf.
  • John Clements and Matthias Felleisen. "A Tail-Recursive Machine with Stack Inspection". Transactions on Programming Languages and Systems. 2004. Available online: pdf.
  • Karoline Malmkjær 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.
  • Karoline Malmkjær. "On Static Properties of Specialized Programs". BIGRE journal. number 74. October 1991. Available online: ps pdf.
  • Karoline Malmkjær. "Predicting Properties of Specialized Programs". Kansas State University. PhD proposal. November 1991. Available online: ps pdf.
  • Karoline Malmkjær. "Predicting Properties of Residual Programs". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992.
  • Christian Mossin. "Partial evaluation of General Parsers". Partial Evaluation and Semantics Based Program Manipulation (PEPM'93). June 1993. Available online: ps pdf.
  • Robert Glück 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 Glück and Jesper Jørgensen. "Generating Optimizing Specializers". IEEE International Conference on Computer Languages. 1994. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Generating Transformers for Deforestation and Supercompilation". Static Analysis 1994. 1994. Available online: ps pdf.
  • Robert Glück, 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 Glück, 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.

September 25, 2004

  • Olivier Danvy. "Programming Techniques for Partial Evaluation". Marktoberdorf 1999. January 2000. Available online: ps pdf.
  • Charles Consel and Olivier Danvy. "Partial Evaluation: Principles and Perspectives". Journees Francophones des Langages Applicatifs. February 1993. Available online: ps.
  • Thant Tessman. "Adding Generic Functions to Scheme". SIGPLAN Notices. Volume 30. Number 5. May 1995. Available online: pdf.
  • Dipanwita Sarkar, Oscar Waddell and R. Kent Dybvig. "A Nanopass Infrastructure for Compiler Education". International Conference on Functional Programming 2004 (ICFP2004). September 2004.
  • 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.
  • Kenichi Asai. "Reflecting on the Metalevel Interpreter Written in Direct Style". International Lisp Conference 2003 (ILC 2003). October 2003. Available online: ps.
  • Kenichi Asai. "Offline Partial Evaluation for Shift and Reset". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '04). August 2004. Available online: ps.
  • Kurt Nørmark. "Scheme Program Documentation Tools". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Stephen Paul Carl. "A Framework for Memory-Management Experimentation". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Ilya Bagrak and Olin Shivers. "trx: Regular-Tree Expressions, now in Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Mike MacHenry and Jacob Matthews. "Topsl: a Domain-Specific Language for On-Line Surveys". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Scott Owens, Matthew Flatt, Olin Shivers and Benjamin McMullan. "Lexer and Parser Generators in Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Kathryn E. Gray and Matthew Flatt. "Compiling Java to PLT Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Eli Barzilay and Dmitry Orlovsky. "Foreign Interface for PLT Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Damien Ciabrini. "Debugging Scheme Fair Threads". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Stéphane Epardaud. "Mobile Reactive Programming in ULM". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Chung-chieh Shan. "Shift to Control". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • Sebastian Egner, Richard A. Kelsey and Michael Sperber. "Cleaning up the Tower: Numbers in Scheme". 2004 Scheme Workshop. September 2004. Available online: ps pdf.
  • David Goldberg, Robert Bruce Findler, Matthew Flatt. "Super and Inner - Together at Last!". Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2004. Available online: pdf.
  • Robert Bruce Findler, Matthew Flatt. "Slideshow: Functional Presentations". International Conference on Functional Programming (ICFP2004). 2004. Available online: pdf.
  • Matthew Flatt, Robert Bruce Findler. "Kill-Safe Synchronization Abstractions". Programming Language Design and Implementation (PLDI 2004). 2004. Available online: pdf.
  • Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen. "A Visual Environment for Developing Context-Sensitive Term Rewriting Systems". International Conference on Rewriting Techniques and Applications (RTA2004). 2004. Available online: pdf.
  • Gregory H. Cooper and Shriram Krishnamurthi. "FrTime: Functional Reactive Programming in PLT Scheme". April 2004. Available online: ps.
  • Guillaume Marceau and Gregory H. Cooper and Shriram Krishnamurthi and Steven P. Reiss. "A Dataflow Language for Scriptable Debugging". IEEE International Symposium on Automated Software Engineering (ASE2004). September 2004. Available online: downloadable paper.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "Fostering Little Languages". Dr. Dobb's Journal. March 2004. Available online: Dr. Dobb's.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "Building Little Languages with Macros". Dr. Dobb's Journal. April 2004. Available online: Dr. Dobbs.
  • Adam Wick and Matthew Flatt. "Memory Accounting without Partitions". ISMM 2004. 2004. Available online: pdf.
  • Manfred Widera. "A Sketch of Complete Type Inference for Functional Programming". International Workshop on Functional and (Constraint) Logic Programming (WLFP 2001). September 2001. Available online: ps pdf.

January 31, 2004

  • Matthias Radestock. "Run Once, Write Anyway". International Lisp Conference (ILC) 2003. October 2003. Available online: pdf slides.

January 30, 2004

  • Joshua D. Guttman, John D. Ramsdell and Mitchell Wand. "VLISP: A Verified Implementation of Scheme". Lisp and Symbolic Computation. Vol. 8 No. 1/2. 1995. Available online: ps pdf.
  • Joshua D. Guttman, John D. Ramsdell and Vipin Swarup. "The VLISP Verified Scheme System". Lisp and Symbolic Computation. Vol. 8 No. 1/2. 1995. Available online: ps pdf.
  • Dino P. Oliva, John D. Ramsdell and Mitchell Wand. "The VLISP Verified PreScheme Compiler". Lisp and Symbolic Computation. Vol. 8 No. 1/2. 1995. Available online: ps pdf.

January 29, 2004

  • Jim Bender. "(X)Querying XML in Scheme". July 2003. Available online: html.

January 28, 2004

  • Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen. "Automatically Restructuring Software for the Web". Journal of Automated Software Engineering. 2004. Available online: downloadable paper.
  • Oleg Kiselyov. "An applicative-order term rewriting system for code generation, and its termination analysis". Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003). June 2003. Available online: html.
  • Oleg Kiselyov. "Towards the best collection API (extended abstract)". Lightweight Languages 2003 (LL3) workshop. November 2003. Available online: html.
  • Erick Gallesio and Manuel Serrano. "Programming Graphical User Interfaces with Scheme". Journal of Functional Programming. Vol. 13, No. 5. September 2003. Available online: ps.
  • Jim Bender. "WebIt!: Embedding XML, HTML, and CSS in Scheme [Draft]". January 2004. Available online: html.
  • Jim Bender. "Advanced Uses of Micros". January 2003. Available online: html.
  • Alan Bawden. "Quasiquotation in Lisp". 1999. Available online: ps.
  • Alan Bawden. "Quasiquotation in Lisp". Partial Evaluation and Program Manipulation (PEPM99). 1999. Available online: ps.
  • Brian Cantwell Smith. "Reflection and Semantics in a Procedural Language". PhD. Thesis. Massachusetts Institute of Technology. MIT-LCS-TR-272. January 1982. Available online: pdf.
  • Brian Cantwell Smith. "Reflection and semantics in LISP". Principles of programming languages (POPL84). January 1984. Available online: ACM Digital Library.
  • Brian Cantwell Smith and Jim des Rivières. "Interim 3-LISP Reference Manual". Xerox PARC. 1984.
  • Jim des Rivières and Brian Cantwell Smith. "The implementation of procedurally reflective languages". 1984 ACM Symposium on LISP and functional programming. August 1984. Available online: ACM Digital Library.
  • Joshua D. Guttman, John D. Ramsdell, Leonard G. Monk, William M. Farmer, Vipin Swarup. "The VLISP Byte-Code Compiler". MITRE Corporation. September 1992. Available online: ps pdf.
  • William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, Vipin Swarup. "Faithfulness of the VLISP Operational Semantics". MITRE Corporation. September 1992. Available online: ps pdf.
  • Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, William M. Farmer, Vipin Swarup. "The VLISP Flattener". MITRE Corporation. September 1992. Available online: ps pdf.
  • Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, William M. Farmer, Vipin Swarup. "A Guide to VLISP, A Verifed Programming Language Implementation". MITRE Corporation. September 1992. Available online: ps pdf.
  • Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk and John D. Ramsdell. "The VLISP Image Builder". MITRE Corporation. September 1992. Available online: ps pdf.
  • William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell, Vipin Swarup. "The VLISP Linker". MITRE Corporation. September 1992. Available online: ps pdf.
  • William M. Farmer and John D. Ramsdell. "A Verifed Compiler for Multithreaded PreScheme". MITRE Corporation. January 1996. Available online: ps pdf.
  • John D. Ramsdell, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, Vipin Swarup. "The VLISP PreScheme Front End". MITRE Corporation. September 1992. Available online: ps pdf.
  • John D. Ramsdell. "The Revised VLISP PreScheme Front End". MITRE Corporation. August 1993. Available online: ps pdf.
  • Dino P. Oliva and Mitchell Wand. "A Verifed Compiler for Pure PreScheme". MITRE Corporation. September 1991. Available online: ps pdf.
  • Dino P. Oliva and Mitchell Wand. "A Verifed Run-Time Structure for Pure PreScheme". MITRE Corporation. September 1992. Available online: ps pdf.
  • Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell. "VLISP Byte Code Interpreter". MITRE Corporation. September 1992. Available online: ps pdf.
  • Daniel P. Friedman and Oleg Kiselyov. "A Logic System with First-Class Relations". May 2004. Available online: ps pdf.

December 22, 2003

  • Kirill Lisovsky, Dmitry Lizorkin. "XSLT and XLink and their implementation with functional techniques". Russian Digital Libraries Journal. Vol. 6 - No 5. 2003. Available online: html.

December 12, 2003

  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "The Structure and Interpretation of the Computer Science Curriculum". Journal of Functional Programming. 2004. Available online: ps pdf.
  • Matthias Felleisen, Robert Bruce Findler, Matthew Flatt and Shriram Krishnamurthi. "The TeachScheme! Project: Computing and Programming for Every Student". Computer Science Education. 2004. Available online: ps pdf.
  • Alexander Friedman and Jamie Raymond. "PLoT Scheme". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Marc Feeley and Danny Dubé. "PICBIT: A Scheme System for the PIC Microcontroller". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Pedro Pinto. "Dot-Scheme: A PLT Scheme FFI for the .NET framework". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Philippe Meunier and Daniel Silva. "From Python to PLT Scheme". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Martin Gasbichler, Eric Knauel, Michael Sperber and Richard A. Kelsey. "How to Add Threads to a Sequential Language Without Getting Tangled Up". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Dorai Sitaram. "Unwind-protect in portable Scheme". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Peter Walton Hopkins. "Enabling Complex UI In Web Applications With send/suspend/dispatch". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Ryan Culpepper and Matthias Felleisen. "Well-Shaped Macros". Scheme Workshop 2003. November 2003. Available online: ps pdf.
  • Dorai Sitaram. "Porting Scheme Programs". Scheme Workshop 2003. November 2003. Available online: ps pdf.

December 9, 2003

  • Daniel P. Friedman and Oleg Kiselyov. "A Logic System with First-Class Relations". May 2004. Available online: ps pdf.
  • Kirill Lisovsky, Dmitry Lizorkin. "XML Path Language (XPath) and its functional implementation SXPath". Russian Digital Libraries Journal. Vol. 6 - No 4. 2003. Available online: html.
  • Daniel P. Friedman. "Object-Oriented Style". International LISP Conference. October 2003. Available online: ps pdf.
  • Timothy J. Hickey. "Scheme-based Web Programming as a Basis for a CS0 Curriculum". September 2003. Available online: pdf.
  • Timothy J. Hickey, J. Langton and R. Alterman. "Integrating Tools and Resources: a case study in building educational groupware for collaborative programming". Brandeis University. 2003. Available online: pdf.
  • Timothy J. Hickey, R. Alterman, J. Langton. "TA Groupware". Brandeis University. Tech. Rep. CS-02-222. January 2002. Available online: pdf.
  • Michael Bridgen, Noel Welsh, Matthias Radestock. "Scheme in The Real World: A Case Study". August 2003. Available online: pdf.
  • Kurt Nørmark. "XML Transformation in Scheme with LAML - a Minimalistic Approach". International Lisp Conference 2003. October 2003. Available online: ps pdf.
  • Kirill Lisovsky. "Scheme-based XML Application Server". Workshop on Advanced Functional Programming (AFP'2002). August 2002.
  • Paul T. Graunke. "Web Interactions". PhD. Thesis. Northeastern University. 2003. Available online: ps pdf.
  • David Tucker and Shriram Krishnamurthi. "Pointcuts and Advice in Higher-Order Languages". Aspect-Oriented Software Development (AOSD 2003). April 2003. Available online: ps pdf.
  • David Tucker and Shriram Krishnamurthi. "A Semantics for Pointcuts and Advice in Higher-Order Languages". Brown University. Tech Report CS-02-13. 2003. Available online: ps pdf.
  • Hidehiko Masuhara and Gregor Kiczales. "Modeling Crosscutting in Aspect-Oriented Mechanisms". ECOOP2003. July 2003. Available online: pdf slides slides (pps).
  • Hidehiko Masuhara, Gregor Kiczales and Christopher Dutchyn. "A Compilation and Optimization Model for Aspect-Oriented Programs". Compiler Construction (CC2003). 2003. Available online: ps pdf.
  • Christopher Dutchyn, Gregor Kiczales and Hidehiko Masuhara. "AOP Language Exploration Using the Aspect Sand Box". Aspect-Oriented Software Development (AOSD 2002). April 2002.
  • 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.
  • Doug Orleans. "Incremental Programming with Extensible Decisions". Aspect-Oriented Software Development (AOSD 2002). April 2002. Available online: ps pdf slides.
  • Doug Orleans. "Incremental Programming with Extensible Decisions". Northeastern University. NU-CCS-02-01. October 2002. Available online: ps pdf.
  • Doug Orleans. "Programming Language Support For Separation Of Concerns". Northeastern University. April 2002. Available online: ps pdf.
  • Mitchell Wand, Gregor Kiczales and Christopher Dutchyn. "A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming". TOPLAS. 2003. Available online: ps.
  • Mitchell Wand, Gregor Kiczales and Christopher Dutchyn. "A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming". FOOL9 Workshop. 2002.

May 21, 2003

  • Karoline Malmkjær. "Abstract Interpretation of Partial-Evaluation Algorithms". PhD. Thesis. Kansas State University. 1993. Available online: ps pdf.
  • John Hatcliff. "Foundations of Partial Evaluation and Program Specialization". Kansas State University. March 1999. Available online: course notes.
  • Henry M. Wu. "Scheme 86: An Architecture for Microcoding a Scheme Interpreter". Massachusetts Institute of Technology. AIM-953. August 1988. Available online: ps pdf.
  • Henry M. Wu. "Performance Evaluation of the Scheme 86 and HP Precision Architecture". Masters Thesis. Massachusetts Institute of Technology. AITR-1103. April 1989. Available online: ps pdf.
  • Andrew A. Berlin and Henry M. Wu. "Scheme86: A System for Interpreting Scheme". Massachusetts Institute of Technology. AIM-1040. April 1988. Available online: ps pdf.

April 27, 2003

  • Carsten K. Gomard and Neil D. Jones. "Partial evaluation of lambda calculus". 1998 DIKU International Summerschool. LNCS 1706. 1999. Available online: ps pdf.
  • Karoline Malmkjær. "Program and Data Specialization Principles, Applications, and Self-Application". Masters Thesis. DIKU. August 1989. Available online: ps pdf.
  • Neil D. Jones. "MIX Ten Years Later". Partial Evaluation and Program Manipulation (PEPM '95). 1995. Available online: ps.
  • Robert Glück and Neil D. Jones. "Automatic program specialization by partial evaluation: an introduction". Software Engineering in Scientific Computing. 1996. Available online: ps.
  • 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.
  • Olivier Danvy, Karoline Malmkjær 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.
  • 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.
  • 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. "Analyse de Programmes, Evaluation Partielle et Génération de Compilateurs". PhD. Thesis. Université de Paris VI. 1989.
  • Neil D. Jones, Carsten K. Gomard and Peter Sestoft. "Partial Evaluation and Automatic Program Generation". 1993. Available online: ps pdf book website.
  • Akihito Nagata, Eijiro Sumii and Akinori Yonezawa. "A Scheme-to-Java Translator with Soft Typing". May 2002. Available online: ps.
  • Olivier Danvy. "Three Steps for the CPS Transformation". Kansas State University. CIS-92-02. December 1991. Available online: ps.
  • Neil D. Jones. "Partial Evaluation and the Generation of Program Generators". DIKU. D-130. January 1992. Available online: ps.
  • Neil D. Jones. "An Introduction to Partial Evaluation". ACM Computing Surveys. Vol. 28. No. 3. September 1996. Available online: ps.
  • Anders Bondorf. "Self-Applicable Partial Evaluation". PhD. Thesis. DIKU. 1990.
  • Bernd Grobauer. "Topics in Semantics-based Program Manipulation". PhD. Thesis. University of Aarhus. July 2001. Available online: ps pdf.
  • Olivier Danvy and René 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.
  • Olivier Danvy, Karoline Malmkjær 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 Malmkjær and Jens Palsberg. "Eta-Expansion Does the Trick". University of Aarhus. BRICS RS-95-41. November 1995. Available online: ps.
  • Carsten K. Gomard and Neil D. Jones. "A Partial Evaluator for the Untyped Lambda Calculus". DIKU. D-15. January 1991. Available online: ps.
  • Robert Glück 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.
  • 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.
  • Karoline Malmkjær. "Towards Efficient Partial Evaluation". Partial evaluation and semantics-based program manipulation (PEPM'93). August 1993. Available online: ps pdf.
  • Karoline Malmkjær and Peter Ørbæk. "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.
  • 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. "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. "Semantics-Directed Compilation of Non-Linear Patterns". Information Processing Letters. Vol. 37. March 1991. Available online: ps.
  • 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.
  • Charles Consel and Olivier Danvy. "Partial Evaluation of Pattern Matching in Strings". Information Processing Letters. Vol. 30. No. 2. January 1989. Available online: ps.
  • 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.
  • 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.

April 21, 2003

  • William D. Clinger, Anne Hartheimer and Eric M. Ost. "Implementation strategies for continuations". Vol. 12. No. 1. 1999.
  • Olivier Danvy. "Formalizing Implementation Strategies for First-Class Continuations". European Symposium on Programming (ESOP 2000). LNCS 1782. April 2000. Available online: ps pdf.
  • Olivier Danvy. "Back to Direct Style". European Symposium on Programming (ESOP 1992). LNCS 582. February 1992. Available online: ps.
  • Olivier Danvy. "On some Functional Aspects of Control". Workshop on the Implementation of Lazy Functional Languages. October 1988. Available online: ps pdf.
  • Olivier Danvy. "Memory Allocation and Higher-Order Functions". Interpreters and Interpretive Techniques (SIGPLAN'87). June 1987.
  • Anders Bondorf. "Automatic Autoprojection of Higher Order Recursive Equations". European Symposium on Programming (ESOP 1990). LNCS 432. May 1990. Available online: ps pdf.
  • 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.
  • Michael Sperber. "Self-Applicable Online Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • John Hatcliff and Robert Glück. "Reasoning about Hierarchies of Online Program Specialization Systems". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps.
  • Olivier Danvy. "Pragmatics of Type-Directed Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • Robert Glück 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 Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. LNCS 1181. 1996. Available online: ps.
  • Olivier Danvy and René Vestergaard. "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation". PLILP'96. 1996. Available online: ps pdf.
  • 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 Thiemann. "Aspects of the PGG System: Specialization for Standard Scheme". Partial Evaluation: Practice and Theory (DIKU International Summer School 1998). LNCS 1706. June 1998.
  • Anders Bondorf. "Similix 5.0 Manual". 1993. Available online: ps pdf.
  • Olivier Danvy. "On listing list prefixes". Lisp Pointers. Vol. 2. No. 3-4. January 1989.

April 18, 2003

  • John Franco and Daniel P. Friedman. "Creating Efficient Programs by Exchanging Data for Procedures". Journal of Computer Languages. Vol. 4. Num. 1. 1989.
  • Christopher T. Haynes. "Logic Continuations". Journal of Logic Programming. Vol. 4. 1987.
  • Matthias Felleisen. "Recursion and Circularity: Extended Puzzle with Solution". Indiana University. TR-201. October 1986.
  • Mitchell Wand. "A Semantic Algebra for Logic Programming". Indiana University. TR-148. August 1983.
  • Wolfgang Kreutzer and Malcolm Stairmand. "C-Flavours: A Scheme-based Flavour System with Co-routines and its Application to the Design of Object-Oriented Software". Journal of Computer Languages. Vol. 15. Num. 4. 1990.
  • Steven L. Jenkins and Gary T. Leavens. "Ploymorphic Type-Checking in Scheme". Journal of Computer Languages. Vol. 22. Num. 4. 1996.
  • W. F. Wong. "Optimizing Floating Point Operations in Scheme". Journal of Computer Languages. Vol. 25. 1999.
  • Michael C. Rubenstein and Richard M. Salter. "Computationally Extended Logic Programming". Journal of Computer Languages. Vol. 12. Num. 1. 1987.
  • Ching-Lin Wang. "A Continuation-based Language Embedded in Scheme". Journal of Computer Languages. Vol. 17. Num. 1. 1992.
  • Ching-Lin Wang. "Obtaining Lazy Evaluation with Continuations in Scheme". Information Processing Letters. Vol. 35. 1990.
  • 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.
  • Kurt Nørmark. "The duality of XML Markup and Programming notation". IADIS WWW/Internet 2003. November 2003. Available online: pdf.
  • Kurt Nørmark. "Web Programming in Scheme with LAML". April 2003. Available online: ps pdf.

March 30, 2003

  • Olivier Danvy and Karoline Malmkjær. "A Blond Primer". DIKU. DIKU Rapport 88/21. October 1988. Available online: pdf.
  • Kenichi Asai. "Can partial evaluation improve the performance of ray tracing?". Ochanomizu University. June 2002. Available online: ps.
  • Olivier Danvy and Karoline Malmkjær. "Intensions and Extensions in a Reflective Tower". Lisp and Functional Programming (LFP'88). 1988. Available online: ps.
  • 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.
  • Torben Amtoft, Charles Consel, Olivier Danvy and Karoline Malmkjær. "The Abstraction and Instantiation of String-Matching Programs". University of Aarhus. RS-01-12. April 2001. Available online: ps pdf.
  • Olivier Danvy, Juergen Koslowski and Karoline Malmkjær. "Compiling Monads". Kansas State University. CIS-92-3. December 1991. Available online: ps pdf.
  • Daniel P. Friedman. "From Direct Style to Monadic Style through Continuation-Passing Style". 2002. Available online: ps pdf.
  • Daniel P. Friedman. "Direct Style from Monadic Style and Back". 2002. Available online: ps pdf.
  • John Clements and Matthias Felleisen. "A Tail-Recursive Semantics for Stack Inspections". European Symposium on Programming (ESOP'2003). April 2003. 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.
  • Pete Tinker and Morry Katz. "Parallel execution of sequential scheme with ParaTran". 1988 ACM conference on LISP and functional programming. 1988. Available online: ACM Digital Library.
  • Ana Bove and Laura Arbilla. "A confluent calculus of Macro expansion and evaluation". 1992 ACM conference on LISP and functional programming. 1992. Available online: ACM Digital Library.

January 25, 2003

  • Charles Consel. "Report on Schism (Manual)". IRISA/University of Rennes I. January 1996. Available online: ps.

January 18, 2003

  • Oleg Kiselyov and Shriram Krishnamurthi. "SXSLT: Manipulation Language for XML". Practical Aspects of Declarative Languages (PADL'03). January 2003. Available online: downloadable paper slides.
  • Shriram Krishnamurthi. "The Continue Server (or, How I Administered PADL 2002 and 2003)". Practical Aspects of Declarative Languages (PADL'03). January 2003. Available online: downloadable paper.
  • Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen. "Modeling Web Interactions". European Symposium on Programming (ESOP). April 2003. Available online: ps pdf.

The 2001 additions and 2002 additions are archived on separate pages.

Hosted by concurrency.cc.

Last modified: Saturday, August 11th, 2012 4:55:43pm
HTML generated using WebIt!.

\ No newline at end of file