2957 lines
142 KiB
HTML
2957 lines
142 KiB
HTML
<!DOCTYPE html>
|
||
<html>
|
||
<head>
|
||
<title>
|
||
Recent Additions...
|
||
</title>
|
||
<meta name="generator" content="SchemeBib and Site-ML" charset=
|
||
"utf-8">
|
||
<meta name="description" content=
|
||
"Online bibliography of Scheme research">
|
||
<meta name="keywords" content="Scheme, bibliography, research">
|
||
<meta name="robots" content="index,follow">
|
||
<link rel="stylesheet" href="basic.css" type="text/css">
|
||
</head>
|
||
<body>
|
||
<table width="100%">
|
||
<tr valign="top">
|
||
<td width="124">
|
||
<table width="124">
|
||
<tr width="124" height="45">
|
||
<td width="124" height="45">
|
||
<img width="124" height="45" border="0" alt=
|
||
"Readscheme.org" src="./imgs/nav-logo.gif">
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="124">
|
||
<td width="124" height="124">
|
||
<a href="./index.html" target="_top"><img width=
|
||
"124" height="124" border="0" alt=
|
||
"Scheme Bibliography Home" src=
|
||
"./imgs/nav_mainlogo.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="30">
|
||
<td width="124" height="30">
|
||
<a href="./page1.html" target="_top"><img width=
|
||
"124" height="30" border="0" alt="Classics" src=
|
||
"./imgs/nav_classics.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="18">
|
||
<td width="124" height="18">
|
||
<a href="./page2.html" target="_top"><img width=
|
||
"124" height="18" border="0" alt="Semantics" src=
|
||
"./imgs/nav_sem.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="18">
|
||
<td width="124" height="18">
|
||
<a href="./page3.html" target="_top"><img width=
|
||
"124" height="18" border="0" alt="Macros" src=
|
||
"./imgs/nav_macros.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="18">
|
||
<td width="124" height="18">
|
||
<a href="./page4.html" target="_top"><img width=
|
||
"124" height="18" border="0" alt="Objects" src=
|
||
"./imgs/nav_objects.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="30">
|
||
<td width="124" height="30">
|
||
<a href="./page5.html" target="_top"><img width=
|
||
"124" height="30" border="0" alt="Modules" src=
|
||
"./imgs/nav_modules.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="18">
|
||
<td width="124" height="18">
|
||
<a href="./page6.html" target="_top"><img width=
|
||
"124" height="18" border="0" alt="Continuations"
|
||
src="./imgs/nav_cps.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="30">
|
||
<td width="124" height="30">
|
||
<a href="./pagexml.html" target="_top"><img width=
|
||
"124" height="30" border="0" alt="Web Programming"
|
||
src="./imgs/nav_xml.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="18">
|
||
<td width="124" height="18">
|
||
<a href="./page7.html" target="_top"><img width=
|
||
"124" height="18" border="0" alt="Applications"
|
||
src="./imgs/nav_appl.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="18">
|
||
<td width="124" height="18">
|
||
<a href="./page8.html" target="_top"><img width=
|
||
"124" height="18" border="0" alt="Implementation"
|
||
src="./imgs/nav_impl.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="30">
|
||
<td width="124" height="30">
|
||
<a href="./page9.html" target="_top"><img width=
|
||
"124" height="30" border="0" alt=
|
||
"Concurrent Programming" src=
|
||
"./imgs/nav_conc.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="30">
|
||
<td width="124" height="30">
|
||
<a href="./page10.html" target="_top"><img width=
|
||
"124" height="30" border="0" alt=
|
||
"Partial Evaluation" src="./imgs/nav_pe.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="18">
|
||
<td width="124" height="18">
|
||
<a href="./page11.html" target="_top"><img width=
|
||
"124" height="18" border="0" alt="Reflection" src=
|
||
"./imgs/nav_reflect.gif"></a>
|
||
</td>
|
||
</tr>
|
||
<tr width="124" height="30">
|
||
<td width="124" height="30">
|
||
<a href="./whats_new.html" target=
|
||
"_top"><img width="124" height="30" border="0" alt=
|
||
"Recent Additions" src=
|
||
"./imgs/focus_nav_recent.gif"></a>
|
||
</td>
|
||
</tr>
|
||
</table>
|
||
</td>
|
||
<td width="20">
|
||
<img width="20" height="1" border="0" src=
|
||
"./imgs/dot_clear.gif">
|
||
</td>
|
||
<td>
|
||
<a name="whats-new" id="whats-new"></a>
|
||
<h2>
|
||
Recent Additions...
|
||
</h2>
|
||
<h3>
|
||
August 10, 2012
|
||
</h3>
|
||
<ul>
|
||
<li>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:
|
||
<a href="http://repository.readscheme.org/ftp/papers/felleisen_pdhthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Eugene E. Kohlbecker. "Syntactic Extensions in the
|
||
Programming Language Lisp". PhD. Thesis. Indiana
|
||
University. 1986. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/kohlbecker_phdthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ian A. Mason. "The Semantics of Destructive Lisp".
|
||
PhD. Thesis. Stanford University. 1986. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/mason_phdthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/talcott_phdthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Carolyn Talcott. "Programming and Proving with
|
||
Function and Control Abstractions". Stanford
|
||
University. CS-TR-89-1288. October 1989. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/talcott_cs-tr-89-1288.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
August 5, 2012
|
||
</h3>
|
||
<ul>
|
||
<li>Manuel Serrano. "The HOP Development Kit". <em>2006
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2006. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/01-serrano.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ray Rischpater. "Scheme for Client-Side Scripting
|
||
in Mobile Web Browsing, or AJAX-Like Behavior Without
|
||
Javascript". <em>2006 Workshop on Scheme and Functional
|
||
Programming</em>. September 2006. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/02-rischpater.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jay McCarthy and Shriram Krishnamurthi.
|
||
"Interaction-Safe State for the Web". <em>2006 Workshop
|
||
on Scheme and Functional Programming</em>. September
|
||
2006. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/03-mccarthy.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jacob Matthews. "Component Deployment with PLaneT:
|
||
You Want it Where?". <em>2006 Workshop on Scheme and
|
||
Functional Programming</em>. September 2006. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/04-matthews.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Xavier Saint-Mleux, Marc Feeley and Jean-Pierre
|
||
David. "SHard: a Scheme to Hardware Compiler". <em>2006
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2006. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/05-saint-mleux.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jessica Gronski, Kenneth Knowles, Aaron Tomb,
|
||
Stephen N. Freund and Cormac Flanagan. "Sage: Hybrid
|
||
Checking for Flexible Specifications". <em>2006
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2006. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/06-freund.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>William D. Clinger. "Rapid Case Dispatch in
|
||
Scheme". <em>2006 Workshop on Scheme and Functional
|
||
Programming</em>. September 2006. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/07-clinger.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Richard Cleis and Keith Wilson. "Experiences with
|
||
Scheme in an Electro-Optics Laboratory". <em>2006
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2006. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/08-cleis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Guillaume Germain, Marc Feeley and Stefan Monnier.
|
||
"Concurrency Oriented Programming in Termite Scheme".
|
||
<em>2006 Workshop on Scheme and Functional
|
||
Programming</em>. September 2006. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/09-germain.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ryan Culpepper and Matthias Felleisen. "A Stepper
|
||
for Scheme Macros". <em>2006 Workshop on Scheme and
|
||
Functional Programming</em>. September 2006. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/10-culpepper.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Abdulaziz Ghuloum. "An Incremental Approach to
|
||
Compiler Construction". <em>2006 Workshop on Scheme and
|
||
Functional Programming</em>. September 2006. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/11-ghuloum.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>William E. Byrd and Daniel P. Friedman. "From
|
||
Variadic Functions to Variadic Relations: A miniKanren
|
||
Perspective". <em>2006 Workshop on Scheme and
|
||
Functional Programming</em>. September 2006. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/12-byrd.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jeremy G. Siek and Walid Taha. "Gradual Typing for
|
||
Functional Languages". <em>2006 Workshop on Scheme and
|
||
Functional Programming</em>. September 2006. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/13-siek.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Danny Dubé and Anass Kadiri. "Automatic
|
||
construction of parse trees for lexemes". <em>2006
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2006. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/14-dube.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Eli Barzilay. "A Self-Hosting Evaluator using
|
||
HOAS". <em>2006 Workshop on Scheme and Functional
|
||
Programming</em>. September 2006. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2006/15-barzilay.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ryan Culpepper, Sam Tobin-Hochstadt and Matthew
|
||
Flatt. "Advanced Macrology and the Implementation of
|
||
Typed Scheme". <em>2007 Workshop on Scheme and
|
||
Functional Programming</em>. September 2007. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/01-culpepper.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Philip Wadler and Robert Bruce Findler. "Well-typed
|
||
programs can't be blamed". <em>2007 Workshop on Scheme
|
||
and Functional Programming</em>. September 2007.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/02-wadler.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Abdulaziz Ghuloum and R. Kent Dybvig.
|
||
"Generation-Friendly Eq Hash Tables". <em>2007 Workshop
|
||
on Scheme and Functional Programming</em>. September
|
||
2007. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/03-ghuloum.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Florian Loitsch. "Exceptional Continuations in
|
||
JavaScript". <em>2007 Workshop on Scheme and Functional
|
||
Programming</em>. September 2007. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/04-loitsch.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Aaron Kimball and Dan Grossman. "Software
|
||
Transactions Meet First-Class Continuations". <em>2007
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2007. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/05-kimball.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Adrien Piérard and Marc Feeley. "Towards a Portable
|
||
and Mobile Scheme Interpreter". <em>2007 Workshop on
|
||
Scheme and Functional Programming</em>. September 2007.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/06-pierard.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andy Wingo. "Applications of Fold to XML
|
||
Transformation". <em>2007 Workshop on Scheme and
|
||
Functional Programming</em>. September 2007. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/07-wingo.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>William E. Byrd and Daniel P. Friedman. "lpha
|
||
Kanren - A Fresh Name in Nominal Logic Programming".
|
||
<em>2007 Workshop on Scheme and Functional
|
||
Programming</em>. September 2007. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/08-byrd.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Patrick Meredith, Mark Hills, and Grigore Rosu. "An
|
||
Executable Rewriting Logic Semantics of K-Scheme". <em>
|
||
2007 Workshop on Scheme and Functional
|
||
Programming</em>. September 2007. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/09-meredith.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Nguyen-Minh Bui. "Toward abstract profiling". <em>
|
||
2007 Workshop on Scheme and Functional
|
||
Programming</em>. September 2007. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/10-bui.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kurt Nørmark. "Deriving a Comprehensive Document
|
||
from a Concise Document - Document Engineering in
|
||
Scheme". <em>2007 Workshop on Scheme and Functional
|
||
Programming</em>. September 2007. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/11-normark.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Wim Vanderbauwhede. "Gannet: a Scheme for
|
||
Task-level Reconfiguration of Service-based
|
||
Systems-on-Chip". <em>2007 Workshop on Scheme and
|
||
Functional Programming</em>. September 2007. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/12-vanderbauwhede.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jean-Michel Hufflen. "Implementing
|
||
Language-Dependent Lexicographic Orders in Scheme".
|
||
<em>2007 Workshop on Scheme and Functional
|
||
Programming</em>. September 2007. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2007/13-hufflen.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>John Clements, Ayswarya Sundaram and David Herman.
|
||
"Implementing continuation marks in JavaScript".
|
||
<em>2008 Workshop on Scheme and Functional
|
||
Programming</em>. September 2008. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/01-clements.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Vincent St-Amour, Lysiane Bouchard and Marc Feeley.
|
||
"Small Scheme Stack: a Scheme TCP/IP stack targeting
|
||
small embedded applications". <em>2008 Workshop on
|
||
Scheme and Functional Programming</em>. September 2008.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/02-st-amour.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Towards compatible and
|
||
interderivable semantic specifications for the Scheme
|
||
programming language, part I: abstract machines,
|
||
natural semantics, and denotational semantics".
|
||
<em>2008 Workshop on Scheme and Functional
|
||
Programming</em>. September 2008. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/03-danvy.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Małgorzata Biernacka and Olivier Danvy. "Towards
|
||
compatible and interderivable semantic specifications
|
||
for the Scheme programming language, part II: reduction
|
||
semantics and abstract machines". <em>2008 Workshop on
|
||
Scheme and Functional Programming</em>. September 2008.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/04-biernacka.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ken Dickey. "Thinking Scheme". <em>2008 Workshop on
|
||
Scheme and Functional Programming</em>. September 2008.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/05-dickey.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Marcus Crestani. "Foreign-Function Interfaces for
|
||
Garbage-Collected Programming Languages". <em>2008
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2008. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/06-crestani.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Felix S. Klock II. "The layers of Larceny's foreign
|
||
function interface". <em>2008 Workshop on Scheme and
|
||
Functional Programming</em>. September 2008. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/07-klock.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jeremiah Willcock, Andrew Lumsdaine and Daniel
|
||
Quinlan. "Tabled execution in Scheme (Scheme Pearl)".
|
||
<em>2008 Workshop on Scheme and Functional
|
||
Programming</em>. September 2008. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/08-willcock.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>David Herman and David Van Horn. "A few principles
|
||
of macro design". <em>2008 Workshop on Scheme and
|
||
Functional Programming</em>. September 2008. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2008/09-herman.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Carl Eastlund and Matthias Felleisen. "Sequence
|
||
Traces for Object-Oriented Executions". <em>2009
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
August 2009. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/01-eastland.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>William D Clinger and Felix S. Klock II. "Scalable
|
||
Garbage Collection with Guaranteed MMU". <em>2009
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
August 2009. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/02-clinger.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Casey Klein and Robert Bruce Findler. "Randomized
|
||
Testing in PLT Redex". <em>2009 Workshop on Scheme and
|
||
Functional Programming</em>. August 2009. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/03-klein.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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". <em>2009 Workshop on Scheme
|
||
and Functional Programming</em>. August 2009. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/04-keep.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Eric Tanter. "Higher-Order Aspects in Order". <em>
|
||
2009 Workshop on Scheme and Functional
|
||
Programming</em>. August 2009. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/05-tanter.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Abdulaziz Ghuloum and R. Kent Dybvig. "Fixing
|
||
Letrec (reloaded)". <em>2009 Workshop on Scheme and
|
||
Functional Programming</em>. August 2009. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/06-ghuloum.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Eli Barzilay. "The Scribble Reader: An Alternative
|
||
to S-expressions for Textual Content". <em>2009
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
August 2009. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/07-barzilay.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Matthew Might and Tarun Prabhu. "Interprocedural
|
||
Dependence Analysis of Higher-Order Programs via Stack
|
||
Reachability". <em>2009 Workshop on Scheme and
|
||
Functional Programming</em>. August 2009. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/08-might.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Aaron W. Hsu. "Descot: Distributed Code Repository
|
||
Framework". <em>2009 Workshop on Scheme and Functional
|
||
Programming</em>. August 2009. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/09-hsu.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Matthew Flatt and Eli Barzilay. "Keyword and
|
||
Optional Arguments in PLT Scheme". <em>2009 Workshop on
|
||
Scheme and Functional Programming</em>. August 2009.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/10-flatt.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Mehmet Fatih Köksal, Remzi Emre Başar, Suzan
|
||
Üsküdarlı. "Screen-Replay: A Session Recording and
|
||
Analysis Tool for DrScheme". <em>2009 Workshop on
|
||
Scheme and Functional Programming</em>. August 2009.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/11-koksal.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>John Moore. "Get stuffed: Tightly packed abstract
|
||
protocols in Scheme". <em>2009 Workshop on Scheme and
|
||
Functional Programming</em>. August 2009. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/12-moore.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Anthony Cowley. "Distributed Software Transactional
|
||
Memory". <em>2009 Workshop on Scheme and Functional
|
||
Programming</em>. August 2009. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/13-cowley.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Remzi Emre Başar, Caner Derici and Çağdaş Şenol.
|
||
"World With Web: A compiler from world applications to
|
||
JavaScript". <em>2009 Workshop on Scheme and Functional
|
||
Programming</em>. August 2009. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/14-basar.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Peter J Landin (1930-2009)".
|
||
<em>2009 Workshop on Scheme and Functional
|
||
Programming</em>. August 2009. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2009/15-danvy.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Hari Prashanth and Sam Tobin-Hochstadt. "Functional
|
||
Data Structures for Typed Racket". <em>2010 Workshop on
|
||
Scheme and Functional Programming</em>. August 2010.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/01-prashanth.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Aaron W. Hsu. "Implementing User-level Value-weak
|
||
Hashtables". <em>2010 Workshop on Scheme and Functional
|
||
Programming</em>. August 2010. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/02-hsu.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Christopher Earl, Matthew Might and David Van Horn.
|
||
"Pushdown Control-Flow Analysis of Higher-Order
|
||
Programs". <em>2010 Workshop on Scheme and Functional
|
||
Programming</em>. August 2010. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/03-earl.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Guillaume Marceau, Kathi Fisler and Shriram
|
||
Krishnamurthi. "Measuring the Effectiveness of Error
|
||
Messages Designed for Novice Programmers". <em>2010
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
August 2010. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/04-marceau.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Guillaume Cartier and Louis-Julien Guillemette.
|
||
"JazzScheme: Evolution of a Lisp-Based Development
|
||
System". <em>2010 Workshop on Scheme and Functional
|
||
Programming</em>. August 2010. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/05-cartier.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ian Barland, Robert Findler, and Matthew Flatt.
|
||
"The Design of a Functional Image Library". <em>2010
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
August 2010. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/06-barland.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andrew Keep and R. Kent Dybvig. "Enabling
|
||
cross-library optimization and compile-time error
|
||
checking in the presence of procedural macros".
|
||
<em>2010 Workshop on Scheme and Functional
|
||
Programming</em>. August 2010. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/07-keep.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Mario Latendresse. "Guiding Requirements for the
|
||
Ongoing Scheme Standardization Process". <em>2010
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
August 2010. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2010/08-latendresse.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kevin Atkinson and Matthew Flatt. "Adapting
|
||
Scheme-Like Macros to a C-Like Language". <em>2011
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
October 2011. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2011/01-atkinson.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Claire E. Alvis, Jeremiah J. Willcock, Kyle M.
|
||
Carter, William E. Byrd and Daniel P. Friedman.
|
||
"cKanren: miniKanren with Constraints". <em>2011
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
October 2011. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2011/02-alvis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andrew W. Keep and R. Kent Dybvig. "Ftypes:
|
||
Structured foreign types". <em>2011 Workshop on Scheme
|
||
and Functional Programming</em>. October 2011.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2011/03-keep.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Manuel Serrano. "HopTex, compiling HTML to LaTeX
|
||
with CSS". <em>2011 Workshop on Scheme and Functional
|
||
Programming</em>. October 2011. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2011/04-serrano.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Christophe Scholliers, Eric Tanter and Wolfgang De
|
||
Meuter. "Computational Contracts". <em>2011 Workshop on
|
||
Scheme and Functional Programming</em>. October 2011.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2011/05-scholliers.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Aaron W. Hsu. "Hygienic Literate Programming:
|
||
Lessons from ChezWEB". <em>2011 Workshop on Scheme and
|
||
Functional Programming</em>. October 2011. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2011/06-hsu.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Keeping it Clean with syntax-parameterize. "Eli
|
||
Barzilay, Ryan Culpepper, Matthew Flatt". <em>2011
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
October 2011. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2011/07-barzilay.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
March 8, 2007
|
||
</h3>
|
||
<ul>
|
||
<li>Guillermo J. Rozas. "A Computational Model for
|
||
Observation in Quantum Mechanics". Masters Thesis.
|
||
Massachusetts Institute of Technology. AITR-925. March
|
||
1987. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-925.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-925.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
August 27, 2006
|
||
</h3>
|
||
<ul>
|
||
<li>Jay McCarthy and Shriram Krishnamurthi.
|
||
"Interaction-Safe State for the Web". <em>Scheme and
|
||
Functional Programming, 2006</em>. September 2006.
|
||
Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/mk-int-safe-state-web/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Christopher Dutchyn, David B. Tucker and Shriram
|
||
Krishnamurthi. "Semantics and Scoping of Aspects in
|
||
Higher-Order Languages". <em>Science of Computer
|
||
Programming</em>. 2006. Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/dtk-sem-scope-aspects-ho-lang/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Daniel Ignatoff, Gregory H. Cooper and Shriram
|
||
Krishnamurthi. "Crossing State Lines: Adapting
|
||
Object-Oriented Frameworks to Functional Reactive
|
||
Languages". <em>Functional and Logic Programming
|
||
Symposium</em>. 2006. Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/ick-adapt-oo-fwk-frp/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Gregory H. Cooper and Shriram Krishnamurthi.
|
||
"Embedding Dynamic Dataflow in a Call-by-Value
|
||
Language". <em>European Symposium on Programming,
|
||
2006</em>. 2006. Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/ck-frtime/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>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". <em>Automated Software
|
||
Engineering Journal, 2006</em>. 2006. Available online:
|
||
<a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/mcskr-dataflow-lang-script-debug-journal/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 22, 2006
|
||
</h3>
|
||
<ul>
|
||
<li>Anders Bondorf. "Compiling laziness by partial
|
||
evaluation". <em>Functional Programming, Glasgow
|
||
1990</em>. 1990. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-laziness-fp90.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-laziness-fp90.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Anders Bondorf. "A Self-Applicable Partial
|
||
Evaluator for Term Rewriting Systems". <em>Theory and
|
||
Practice of Software Development (TAPSOFT '89)</em>.
|
||
March 1989. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-term-rewriting.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-term-rewriting.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 15, 2006
|
||
</h3>
|
||
<ul>
|
||
<li>R. Kent Dybvig, Daniel P. Friedman, and Michael Y.
|
||
Levin. "Implementation strategies for Scheme-based
|
||
Prolog systems". 1998. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/schemelog.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/schemelog.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Erik Ruf and Daniel Weise. "LogScheme: Integrating
|
||
Logic Programming into Scheme". <em>LISP and Symbolic
|
||
Computation</em>. 3(3). September 1990. Available
|
||
online: .
|
||
</li>
|
||
<li>R. Kent Dybvig, Daniel P. Friedman and Christopher
|
||
T. Haynes. "Expansion-Passing Style: A General Macro
|
||
Mechanism". <em>LISP and Symbolic Computation</em>.
|
||
1(1). June 1988. Available online: <a href=
|
||
"http://www.brics.dk/~hosc/local/LaSC-1-1-pp53-75.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp:
|
||
an Object-Oriented Dialect of Scheme". <em>Lisp and
|
||
Symbolic Computation: An International Journal</em>. 1.
|
||
1. May 1988. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/pearlmutter/lasc-oaklisp-1988.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/pearlmutter/lasc-oaklisp-1988.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kevin J. Lang and Barak A. Pearlmutter. "Oaklisp:
|
||
an Object-Oriented Scheme with First Class Types". <em>
|
||
ACM Conference on Object-Oriented Systems,
|
||
Programming, Languages and Applications</em>.
|
||
September 1986. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/pearlmutter/oaklisp-oopsla-1986.pdf">
|
||
pdf</a> <a href=
|
||
"http://portal.acm.org/citation.cfm?id=28701&coll=portal&dl=ACM">
|
||
ACM Digital Library</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 14, 2006
|
||
</h3>
|
||
<ul>
|
||
<li>Philippe Meunier, Robert Bruce Findler and Matthias
|
||
Felleisen. "Modular Set-Based Analysis from Contracts".
|
||
<em>Principles of Programming Languages, POPL
|
||
2006</em>. January 2006. Available online: <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/popl06-mff.pdf">pdf</a>.
|
||
</li>
|
||
<li>Ryan Culpepper and Matthias Felleisen. " Taming
|
||
Macros". <em>Generative Programming and Component
|
||
Engineering (GPCE 2004)</em>. October 2004. Available
|
||
online: <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/gpce2004-cf.ps">ps</a>
|
||
<a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/gpce2004-cf.pdf">pdf</a>.
|
||
</li>
|
||
<li>Greg Pettyjohn, John Clements, Joe Marshall,
|
||
Shriram Krishnamurthi and Matthias Felleisen.
|
||
"Continuations from Generalized Stack Inspection". <em>
|
||
International Conference on Functional Programming,
|
||
ICFP 2005</em>. September 2005. Available online:
|
||
<a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/pcmkf-cont-from-gen-stack-insp/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Shriram Krishnamurthi. "Automata as Macros".
|
||
<em>Journal of Functional Programming</em>. 2005.
|
||
Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/sk-automata-macros/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Shriram Krishnamurthi, Robert Bruce Findler, Paul
|
||
Graunke and Matthias Felleisen. "Modeling Web
|
||
Interactions and Errors". <em>Interactive Computation:
|
||
The New Paradigm</em>. 2005. Available online:
|
||
<a href="http://www.cs.brown.edu/~sk/Publications/Papers/Published/kfgf-model-web-inter-error/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Darrell Ferguson and Dwight Deugo. "Call with
|
||
Current Continuation Patterns". <em>8th Conference on
|
||
Pattern Languages of Programs</em>. September 2001.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/PLoP2001_dferguson0_1.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/PLoP2001_dferguson0_1.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 5, 2006
|
||
</h3>
|
||
<ul>
|
||
<li>Charles Consel and Siau Cheng Khoo.
|
||
"Semantics-directed generation of a Prolog compiler".
|
||
<em>Science of Computer Programming</em>. volume 21.
|
||
1993. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/consel-khoo-prolog.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/consel-khoo-prolog.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Anders Bondorf. "Automatic Autoprojection of higher
|
||
order recursive equations". <em>Science of Computer
|
||
Programming</em>. volume 17. 1991. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-scp91.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-scp91.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul><a name="sw2005adds" id="sw2005adds"></a>
|
||
<h3>
|
||
December 26, 2005
|
||
</h3><em>New Papers from the Scheme Workshop 2005:</em>
|
||
<ul>
|
||
<li>Ronald Garcia and Andrew Lumsdaine. "Type Classes
|
||
Without Types". <em>2005 Workshop on Scheme and
|
||
Functional Programming</em>. September 2005. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/garcia.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/garcia.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Sebastian Egner. "Eager Comprehensions in Scheme:
|
||
The design of SRFI-42". <em>2005 Workshop on Scheme and
|
||
Functional Programming</em>. September 2005. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/egner.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/egner.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jonathan Sobel, Erik Hilsdale, R. Kent Dybvig,
|
||
Daniel P. Friedman. "Abstraction and Performance from
|
||
Explicit Monadic Reflection". <em>2005 Workshop on
|
||
Scheme and Functional Programming</em>. September 2005.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/sobel.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/sobel.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jacob Matthews and Robert Bruce Findler. "An
|
||
Operational Semantics for R5RS Scheme". <em>2005
|
||
Workshop on Scheme and Functional Programming</em>.
|
||
September 2005. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/matthews.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/matthews.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Martin Gasbichler and Eric Knauel. "Commander S -
|
||
The shell as a browser". <em>2005 Workshop on Scheme
|
||
and Functional Programming</em>. September 2005.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/knauel.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/knauel.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Erick Gallesio and Manuel Serrano. "Ubiquitous
|
||
Mails". <em>2005 Workshop on Scheme and Functional
|
||
Programming</em>. September 2005. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/serrano.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/serrano.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jean-Michel Hufflen. "Implementing a Bibliography
|
||
Processor in Scheme". <em>2005 Workshop on Scheme and
|
||
Functional Programming</em>. September 2005. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/hufflen.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/hufflen.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Chongkai Zhu. "The Marriage of MrMathematica and
|
||
MzScheme". <em>2005 Workshop on Scheme and Functional
|
||
Programming</em>. September 2005. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/chongkai.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/chongkai.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Alan Pavicic and Niksa Bosnic. "ACT
|
||
Parameterization Framework". <em>2005 Workshop on
|
||
Scheme and Functional Programming</em>. September 2005.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/pavicic.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/pavicic.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Florian Loitsch. "Javascript to Scheme
|
||
Compilation". <em>2005 Workshop on Scheme and
|
||
Functional Programming</em>. September 2005. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/loitsch.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2005/loitsch.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 16, 2005
|
||
</h3>
|
||
<ul>
|
||
<li>Robert Bruce Findler and Matthias Felleisen.
|
||
"Contracts for Higher-Order Functions". University of
|
||
Chicago. October 2002. Available online: <a href=
|
||
"http://people.cs.uchicago.edu/~robby/pubs/papers/ho-contracts-techreport.ps">
|
||
ps</a> <a href=
|
||
"http://people.cs.uchicago.edu/~robby/pubs/papers/ho-contracts-techreport.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Bruce Findler, Matthias Blume and Matthias
|
||
Felleisen. "An Investigation of Contracts as
|
||
Projections". University of Chicago. TR-2004-02. April
|
||
2004. Available online: <a href=
|
||
"http://www.cs.uchicago.edu/files/tr_additional/TR-2004-02.ps">
|
||
ps</a> <a href=
|
||
"http://www.cs.uchicago.edu/files/tr_authentic/TR-2004-02.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Across the Bridge between
|
||
Reflection and Partial Evaluation". <em>Partial
|
||
Evaluation and Mixed Computation</em>. 1988.
|
||
</li>
|
||
<li>Manuel Serrano, Frédéric Boussinot and Bernard
|
||
Serpette. "Scheme FairThreads". <em>2th International
|
||
Lisp Conference</em>. October 2002.
|
||
</li>
|
||
<li>Damien Ciabrini and Manuel Serrano. "Bugloo: A
|
||
Source Level Debugger for Scheme Programs Compiled into
|
||
JVM Bytecode". <em>3th International Lisp
|
||
Conference</em>. October 2003. Available online:
|
||
<a href=
|
||
"http://www-sop.inria.fr/mimosa/fp/Bugloo/doc/cia03.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Yannis Bres and Bernard Serpette and Manuel
|
||
Serrano. "Compiling Scheme programs to .NET Common
|
||
Intermediate Language". <em>2nd International Workshop
|
||
on .NET Technologies</em>. May 2004. Available online:
|
||
<a href=
|
||
"http://www.inria.fr/mimosa/Manuel.Serrano/publi/bss-dotnet04.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Manuel Serrano, Frédéric Boussinot and Bernard
|
||
Serpette. "Scheme Fair Threads". <em>Principles and
|
||
Practice of Declarative Programming (PPDP 2004)</em>.
|
||
August 2004. Available online: <a href=
|
||
"http://www.inria.fr/mimosa/Manuel.Serrano/publi/sbs-ppdp04.html">
|
||
html</a>.
|
||
</li>
|
||
<li>Yannis Bres and Bernard Serpette and Manuel
|
||
Serrano. "Bigloo.NET: compiling Scheme to .NET CLR".
|
||
<em>Journal of Object Technology</em>. 3(9). October
|
||
2004. Available online: <a href=
|
||
"http://www.inria.fr/mimosa/Manuel.Serrano/publi/jot04/jot04.html">
|
||
html</a>.
|
||
</li>
|
||
<li>Erick Gallesio and Manuel Serrano. "Biglook: a
|
||
Widget Library for the Scheme Programming Language".
|
||
<em>2002 Usenix annual technical conference</em>. June
|
||
2002. Available online: <a href=
|
||
"http://www.inria.fr/mimosa/Manuel.Serrano/publi/gs-freenix02.ps.gz">
|
||
html</a>.
|
||
</li>
|
||
<li>Morten Rhiger. "A Study in Higher-Order Programming
|
||
Languages". Masters Thesis. Aarhus University. December
|
||
1997. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/rhiger-msthesis.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/rhiger-msthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Torben Æ. Mogensen. "Gödelization in the untyped
|
||
lambda calculus". <em>Partial Evaluation and
|
||
Semantics-Based Program Manipulation (PEPM99)</em>.
|
||
January 1999. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/mogensen-pepm99.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/mogensen-pepm99.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Daniel Weise. "Graphs as an Intermediate
|
||
Representation for Partial Evaluation". Stanford
|
||
University. CSL-TR-90-421. March 1990. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-1.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-1.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Daniel Weise and Erik Ruf. "Computing Types During
|
||
Program Specialization". Stanford University.
|
||
CSL-TR-90-441. October 1990. Available online:
|
||
<a href="http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-3.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-90-3.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Erik Ruf and Daniel Weise. "Using Types to Avoid
|
||
Redundant Specialization". <em>Partial Evaluation and
|
||
Semantics-Directed Program Manipulation, PEPM'91</em>.
|
||
June 1991. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-5.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-5.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Erik Ruf and Daniel Weise. "Preserving Information
|
||
During Online Partial Evaluation". Stanford University.
|
||
CSL-TR-92-517. April 1992. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-8.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-92-8.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Wing-Yee Au, Daniel Weise and Scott Seligman.
|
||
"Generating Compiled Simulations Using Partial
|
||
Evaluation". <em>28th Design Automation
|
||
Conference</em>. June 1991. Available online:
|
||
<a href="http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-4.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/fuse-memos/FUSE-MEMO-91-4.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Erik Ruf. "Partial Evaluation in Reflective System
|
||
Implementations". <em>OOPSLA'93 Workshop on Reflection
|
||
and Metalevel Architecture</em>. October 1993.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ruf93partial.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ruf93partial.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/swart-msthesis.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/swart-msthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
December 8, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Olivier Danvy. "More about Formatting". Aarhus
|
||
University. December 1993. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/more-about-formatting.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/more-about-formatting.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Mads Sig Ager, Olivier Danvy and Henning Korsholm
|
||
Rohde. "Fast Partial Evaluation of Pattern Matching in
|
||
Strings". <em>Partial Evaluation and Semantics-Based
|
||
Program Manipulation (PEPM '03)</em>. 2003. Available
|
||
online: <a href=
|
||
"http://www.brics.dk/RS/03/20/BRICS-RS-03-20.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/RS/03/20/BRICS-RS-03-20.pdf">pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Intensional and Extensional Aspects
|
||
of Partial Evaluation". Aarhus University. March 1995.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/pearls-pe.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/pearls-pe.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Online Type-Directed Partial
|
||
Evaluation". <em>Third Fuji International Symposium on
|
||
Functional and Logic Programming, FLOPS '98</em>. April
|
||
1998. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-53.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-53.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>René Vestergaard. "From Proof Normalization to
|
||
Compiler Generation and Type-Directed
|
||
Change-of-Representation". Masters Thesis. Aarhus
|
||
University. 1997. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vestergaard-thesis.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vestergaard-thesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy and Morten Rhiger. "Compiling Actions
|
||
by Partial Evaluation, Revisited". Aarhus University.
|
||
June 1998. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-98-13.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-98-13.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andrew A. Berlin. "A Compilation Strategy for
|
||
Numerical Programs Based on Partial Evaluation".
|
||
Masters Thesis. February 1989. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-1144.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-1144.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andrew A. Berlin and Daniel Weise. "Compiling
|
||
Scientific Code Using Partial Evaluation". July 1989.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1145.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1145.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andrew A. Berlin and Rajeev J. Surati. "Exploiting
|
||
the Parallelism Exposed by Partial Evaluation". April
|
||
1993. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1414.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1414.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andrew A. Berlin and Rajeev J. Surati. "Partial
|
||
Evaluation for Scientific Computing: The Supercomputer
|
||
Toolkit Experience". May 1994. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1487.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1487.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Rajeev J. Surati. "A Parallelizing Compiler Based
|
||
on Partial Evaluation". Massachusetts Institute of
|
||
Technology. AITR-1377. July 1993. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/surati-ugradtechreport.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/surati-ugradtechreport.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Anders Bondorf and Jens Palsberg. "Compiling
|
||
actions by partial evaluation". <em>Functional
|
||
Programming and Computer Architecture (FPCA'93)</em>.
|
||
June 1993. Available online: <a href=
|
||
"http://doi.acm.org/10.1145/165180.165227">ACM Digital
|
||
Library</a>.
|
||
</li>
|
||
<li>Anders Bondorf and Jens Palsberg. "Generating
|
||
action compilers by partial evaluation". <em>Journal of
|
||
Functional Programming</em>. 6(2). 1996.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-1-and-3.ps.gz">
|
||
parts 1 and 3 (ps)</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-2.ps.gz">
|
||
part 2 (ps)</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-1-and-3.pdf">
|
||
parts 1 and 3 (pdf)</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-164-part-2.pdf">
|
||
part 2 (pdf)</a>.
|
||
</li>
|
||
<li>Anders Bondorf and Jesper Jørgensen. "Efficient
|
||
analyses for realistic off-line partial evaluation".
|
||
<em>Journal of Functional Programming</em>. 3(3). July
|
||
1993.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "Fast
|
||
Binding-Time Analysis for Multi-Level Specialization".
|
||
<em>Perspectives of System Informatics</em>. 1996.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-279.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-279.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "Efficient
|
||
Multi-Level Generating Extensions for Program
|
||
Specialization". <em>Programming Languages:
|
||
Implementations, Logics and Programs (PLILP'95)</em>.
|
||
1995. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-229.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-229.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "Multi-Level
|
||
Specialization (Extended Abstract)". <em>Partial
|
||
Evaluation: Practice and Theory 1998</em>. 1998.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-363.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-363.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Scott Draves. "Compiler Generation for Interactive
|
||
Graphics using Intermediate Code". <em>Partial
|
||
Evaluation: Dagstuhl Seminar</em>. LNCS 1110. February
|
||
1996. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/draves-nitrous.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/draves-nitrous.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Scott Draves. "Automatic Program Specialization for
|
||
Interactive Media". PhD. Thesis. Carnegie Mellon
|
||
University. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/draves-thesis.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/draves-thesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Charles Consel and Olivier Danvy. "Partial
|
||
Evaluation in Parallel". <em>Lisp and Symbolic
|
||
Computation</em>. Volume 5. Issue 4. 1992. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-pe-parallel93.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-pe-parallel93.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Christian Mossin. "Similix Binding Time Debugger
|
||
Manual, system version 4.0". September 1991.
|
||
</li>
|
||
<li>Richard Schooler. "Partial Evaluation as a Means of
|
||
Language Extensibility". Masters Thesis. Massachusetts
|
||
Institute of Technology. MIT/LCS/TR-324. August 1984.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/schooler-smthesis.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/schooler-smthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Darius Bacon. "A Hacker's Introduction to Partial
|
||
Evaluation". <em>The Lisp Magazine at lisp-p.org</em>.
|
||
August 2002. Available online: <a href=
|
||
"http://www.lisp-p.org/peval/peval.cgi">html</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
October 17, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Ulrik Pagh Schultz. "Explicit and Implicit Aspects
|
||
of Scope and Block Structure". Masters Thesis.
|
||
University of Aarhus. June 1997. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/schultz-speciale.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/schultz-speciale.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy and Ulrik Pagh Schultz.
|
||
"Lambda-dropping: transforming recursive equations into
|
||
programs with block structure". <em>Partial Evaluation
|
||
and Semantics-Based Program Manipulation
|
||
(PEPM'97)</em>. June 1997. Available online: <a href=
|
||
"http://doi.acm.org/10.1145/258993.259007">ACM Digital
|
||
Library</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://www.brics.dk/RS/97/6/BRICS-RS-97-6.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/RS/97/6/BRICS-RS-97-6.pdf">pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy and Ulrik Pagh Schultz.
|
||
"Lambda-Dropping: Transforming Recursive Equations into
|
||
Programs with Block Structure". <em>Theoretical
|
||
Computer Science</em>. Volume 248/1-2. November 2000.
|
||
Available online: <a href=
|
||
"http://www.daimi.au.dk/~ups/papers/tcs00.ps.gz">ps</a>
|
||
<a href="http://www.daimi.au.dk/~ups/papers/tcs00.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://www.brics.dk/RS/99/27/BRICS-RS-99-27.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/RS/99/27/BRICS-RS-99-27.pdf">pdf</a>.
|
||
</li>
|
||
<li>Saumya Debray. "Resource-bounded partial
|
||
evaluation". <em>Partial Evaluation and Semantics-Based
|
||
Program Manipulation (PEPM'97)</em>. June 1997.
|
||
Available online: <a href=
|
||
"http://doi.acm.org/10.1145/258993.259017">ACM Digital
|
||
Library</a>.
|
||
</li>
|
||
<li>Saumya Debray. "Resource-bounded partial
|
||
evaluation". University of Arizona. January 1998.
|
||
Available online: <a href=
|
||
"http://www.cs.arizona.edu/people/debray/papers/rbpa.ps">
|
||
ps</a>.
|
||
</li>
|
||
<li>Peter A. Bigot and Saumya Debray. "Return Value
|
||
Placement and Tail Call Optimization in High Level
|
||
Languages". <em>Journal of Logic Programming</em>.
|
||
January 1999. Available online: <a href=
|
||
"http://www.cs.arizona.edu/people/debray/papers/retval_placement.ps">
|
||
ps</a>.
|
||
</li>
|
||
<li>Saumya Debray, Robert Muth and Scott Watterson.
|
||
"Link-time Improvement of Scheme Programs".
|
||
<em>International Conference on Compiler Construction
|
||
(CC'99)</em>. March 1999. Available online: <a href=
|
||
"http://www.cs.arizona.edu/people/debray/papers/scheme.ps">
|
||
ps</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
September 29, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Karoline Malmkjær. "Towards Efficient Partial
|
||
Evaluation". <em>Partial evaluation and semantics-based
|
||
program manipulation (PEPM'93)</em>. August 1993.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-161.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-161.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>John Clements and Matthias Felleisen. "A
|
||
Tail-Recursive Machine with Stack Inspection".
|
||
<em>Transactions on Programming Languages and
|
||
Systems</em>. 2004. Available online: <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/cf-toplas04.pdf">pdf</a>.
|
||
</li>
|
||
<li>Karoline Malmkjær and Olivier Danvy. "Preprocessing
|
||
by Specialization". 1990.
|
||
</li>
|
||
<li>Jesper Jørgensen. "Generating a Pattern Matching
|
||
Compiler by Partial Evaluation". <em>Glasgow Workshop
|
||
on Functional Programming</em>. July 1990. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-59.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-59.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jesper Jørgensen. "Compiler Generation by Partial
|
||
Evaluation". Masters Thesis. DIKU, University of
|
||
Copenhagen. 1991. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-95.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-95.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Karoline Malmkjær. "On Static Properties of
|
||
Specialized Programs". <em>BIGRE journal</em>. number
|
||
74. October 1991. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-103.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-103.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Karoline Malmkjær. "Predicting Properties of
|
||
Specialized Programs". Kansas State University. PhD
|
||
proposal. November 1991. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-148.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-148.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Karoline Malmkjær. "Predicting Properties of
|
||
Residual Programs". <em>Partial Evaluation and
|
||
Semantics-Based Program Manipulation (PEPM'92)</em>.
|
||
June 1992.
|
||
</li>
|
||
<li>Christian Mossin. "Partial evaluation of General
|
||
Parsers". <em>Partial Evaluation and Semantics Based
|
||
Program Manipulation (PEPM'93)</em>. June 1993.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-158.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-158.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück and A. V. Klimov. "Occam's Razor in
|
||
Metacomputation: the Notion of a Perfect Process Tree".
|
||
<em>Static Analysis 1993</em>. 1993. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-170.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-170.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Christian Mossin. "Polymorphic Binding Time
|
||
Analysis". Masters Thesis. DIKU, University of
|
||
Copenhagen. July 1993. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-174.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-174.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "Generating
|
||
Optimizing Specializers". <em>IEEE International
|
||
Conference on Computer Languages</em>. 1994. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-186.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-186.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "Generating
|
||
Transformers for Deforestation and Supercompilation".
|
||
<em>Static Analysis 1994</em>. 1994. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-195.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-195.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück, John Hatcliff and Jesper Jørgensen.
|
||
"Generalization in Hierarchies of Online Program
|
||
Specialization Systems". <em>Logic-Based Program
|
||
Synthesis and Transformation 1999</em>. 1999. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-380.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-380.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Arne J. Glenstrup. "Terminator II: Stopping Partial
|
||
Evaluation of Fully Recursive Programs". Masters
|
||
Thesis. DIKU, University of Copenhagen. June 1999.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-401.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-401.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück, Y. Kawada and T. Hashimoto.
|
||
"Transforming Interpreters into Inverse Interpreters by
|
||
Partial Evaluation". <em>Partial Evaluation and
|
||
Semantics-Based Program Manipulation (PEPM 2003)</em>.
|
||
2003. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-490.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-490.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Neil D. Jones and Arne J. Glenstrup. "Partial
|
||
Evaluation Termination Analysis and
|
||
Specialization-Point Insertion". <em>Transactions on
|
||
Programming Languages and Systems</em>. 2004. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-498.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-498.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Arne J. Glenstrup. "Implementation Notes for the
|
||
Termination-Guaranteeing Binding-Time Analysis".
|
||
December 2002. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/pgg-sct-impl-details.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
September 25, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Olivier Danvy. "Programming Techniques for Partial
|
||
Evaluation". <em>Marktoberdorf 1999</em>. January 2000.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/danvy-ln.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/danvy-ln.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Charles Consel and Olivier Danvy. "Partial
|
||
Evaluation: Principles and Perspectives". <em>Journees
|
||
Francophones des Langages Applicatifs</em>. February
|
||
1993. Available online: <a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-tutorial-PE.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Thant Tessman. "Adding Generic Functions to
|
||
Scheme". <em>SIGPLAN Notices</em>. Volume 30. Number 5.
|
||
May 1995. Available online: <a href=
|
||
"http://www.standarddeviance.com/p45-tessman.pdf">pdf</a>.
|
||
</li>
|
||
<li>Dipanwita Sarkar, Oscar Waddell and R. Kent Dybvig.
|
||
"A Nanopass Infrastructure for Compiler Education".
|
||
<em>International Conference on Functional Programming
|
||
2004 (ICFP2004)</em>. September 2004.
|
||
</li>
|
||
<li>David Herman and Philippe Meunier. "Improving the
|
||
Static Analysis of Embedded Languages via Partial
|
||
Evaluation". <em>International Conference on Functional
|
||
Programming (ICFP2004)</em>. September 2004. Available
|
||
online: <a href=
|
||
"http://www.ccs.neu.edu/home/dherman/research/publications/dsel-cfa.ps">
|
||
ps</a> <a href=
|
||
"http://www.ccs.neu.edu/home/dherman/research/publications/dsel-cfa.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kenichi Asai. "Reflecting on the Metalevel
|
||
Interpreter Written in Direct Style". <em>International
|
||
Lisp Conference 2003 (ILC 2003)</em>. October 2003.
|
||
Available online: <a href=
|
||
"http://pllab.is.ocha.ac.jp/~asai/papers/ilc03.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Kenichi Asai. "Offline Partial Evaluation for Shift
|
||
and Reset". <em>Partial Evaluation and Semantics-Based
|
||
Program Manipulation (PEPM '04)</em>. August 2004.
|
||
Available online: <a href=
|
||
"http://pllab.is.ocha.ac.jp/~asai/papers/pepm04.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Kurt Nørmark. "Scheme Program Documentation Tools".
|
||
<em>2004 Scheme Workshop</em>. September 2004.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/normark.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/normark.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Stephen Paul Carl. "A Framework for
|
||
Memory-Management Experimentation". <em>2004 Scheme
|
||
Workshop</em>. September 2004. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/carl.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/carl.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ilya Bagrak and Olin Shivers. "trx: Regular-Tree
|
||
Expressions, now in Scheme". <em>2004 Scheme
|
||
Workshop</em>. September 2004. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/bagrak.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/bagrak.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Mike MacHenry and Jacob Matthews. "Topsl: a
|
||
Domain-Specific Language for On-Line Surveys". <em>2004
|
||
Scheme Workshop</em>. September 2004. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/machenry.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/machenry.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Scott Owens, Matthew Flatt, Olin Shivers and
|
||
Benjamin McMullan. "Lexer and Parser Generators in
|
||
Scheme". <em>2004 Scheme Workshop</em>. September 2004.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/owens.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/owens.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kathryn E. Gray and Matthew Flatt. "Compiling Java
|
||
to PLT Scheme". <em>2004 Scheme Workshop</em>.
|
||
September 2004. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/gray.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/gray.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Eli Barzilay and Dmitry Orlovsky. "Foreign
|
||
Interface for PLT Scheme". <em>2004 Scheme
|
||
Workshop</em>. September 2004. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/barzilay.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/barzilay.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Damien Ciabrini. "Debugging Scheme Fair Threads".
|
||
<em>2004 Scheme Workshop</em>. September 2004.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/ciabrini.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/ciabrini.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Stéphane Epardaud. "Mobile Reactive Programming in
|
||
ULM". <em>2004 Scheme Workshop</em>. September 2004.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/epardaud.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/epardaud.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Chung-chieh Shan. "Shift to Control". <em>2004
|
||
Scheme Workshop</em>. September 2004. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/shan.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/shan.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Sebastian Egner, Richard A. Kelsey and Michael
|
||
Sperber. "Cleaning up the Tower: Numbers in Scheme".
|
||
<em>2004 Scheme Workshop</em>. September 2004.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/egner.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2004/egner.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>David Goldberg, Robert Bruce Findler, Matthew
|
||
Flatt. "Super and Inner - Together at Last!".
|
||
<em>Object-Oriented Programming, Systems, Languages,
|
||
and Applications (OOPSLA)</em>. 2004. Available online:
|
||
<a href=
|
||
"http://people.cs.uchicago.edu/~robby/pubs/papers/oopsla2004-gff.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Bruce Findler, Matthew Flatt. "Slideshow:
|
||
Functional Presentations". <em>International Conference
|
||
on Functional Programming (ICFP2004)</em>. 2004.
|
||
Available online: <a href=
|
||
"http://people.cs.uchicago.edu/~robby/pubs/papers/icfp2004-ff.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Matthew Flatt, Robert Bruce Findler. "Kill-Safe
|
||
Synchronization Abstractions". <em>Programming Language
|
||
Design and Implementation (PLDI 2004)</em>. 2004.
|
||
Available online: <a href=
|
||
"http://www.cs.utah.edu/plt/publications/pldi04-ff.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jacob Matthews, Robert Bruce Findler, Matthew
|
||
Flatt, Matthias Felleisen. "A Visual Environment for
|
||
Developing Context-Sensitive Term Rewriting Systems".
|
||
<em>International Conference on Rewriting Techniques
|
||
and Applications (RTA2004)</em>. 2004. Available
|
||
online: <a href=
|
||
"http://people.cs.uchicago.edu/~robby/pubs/papers/rta2004-mfff.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Gregory H. Cooper and Shriram Krishnamurthi.
|
||
"FrTime: Functional Reactive Programming in PLT
|
||
Scheme". April 2004. Available online: <a href=
|
||
"ftp://ftp.cs.brown.edu/pub/techreports/03/cs03-20.ps.Z">
|
||
ps</a>.
|
||
</li>
|
||
<li>Guillaume Marceau and Gregory H. Cooper and Shriram
|
||
Krishnamurthi and Steven P. Reiss. "A Dataflow Language
|
||
for Scriptable Debugging". <em>IEEE International
|
||
Symposium on Automated Software Engineering
|
||
(ASE2004)</em>. September 2004. Available online:
|
||
<a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/mckr-dataflow-lang-script-debug/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Matthias Felleisen, Robert Bruce Findler, Matthew
|
||
Flatt and Shriram Krishnamurthi. "Fostering Little
|
||
Languages". <em>Dr. Dobb's Journal</em>. March 2004.
|
||
Available online: <a href=
|
||
"http://www.ddj.com/documents/ddj0403a/">Dr.
|
||
Dobb's</a>.
|
||
</li>
|
||
<li>Matthias Felleisen, Robert Bruce Findler, Matthew
|
||
Flatt and Shriram Krishnamurthi. "Building Little
|
||
Languages with Macros". <em>Dr. Dobb's Journal</em>.
|
||
April 2004. Available online: <a href=
|
||
"http://www.ddj.com/documents/ddj0404g/">Dr. Dobbs</a>.
|
||
</li>
|
||
<li>Adam Wick and Matthew Flatt. "Memory Accounting
|
||
without Partitions". <em>ISMM 2004</em>. 2004.
|
||
Available online: <a href=
|
||
"http://www.cs.utah.edu/plt/publications/ismm04-wf.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Manfred Widera. "A Sketch of Complete Type
|
||
Inference for Functional Programming".
|
||
<em>International Workshop on Functional and
|
||
(Constraint) Logic Programming (WLFP 2001)</em>.
|
||
September 2001. Available online: <a href=
|
||
"http://citeseer.ist.psu.edu/rd/29997463%2C497735%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/compress/0/papers/cs/24467/http:zSzzSzwww.informatik.uni-kiel.dezSz~wflp2001zSzproceedingszSzpaperszSzpaper1.ps.gz/widera01sketch.ps">
|
||
ps</a> <a href=
|
||
"http://citeseer.ist.psu.edu/rd/29997463%2C497735%2C1%2C0.25%2CDownload/http://citeseer.ist.psu.edu/cache/papers/cs/24467/http:zSzzSzwww.informatik.uni-kiel.dezSz%7Ewflp2001zSzproceedingszSzpaperszSzpaper1.pdf/widera01sketch.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 31, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Matthias Radestock. "Run Once, Write Anyway". <em>
|
||
International Lisp Conference (ILC) 2003</em>.
|
||
October 2003. Available online: <a href=
|
||
"http://www.lshift.com/ilc2003.pdf">pdf</a> <a href=
|
||
"http://www.lshift.com/matthias.presentation.pdf">slides</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 30, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Joshua D. Guttman, John D. Ramsdell and Mitchell
|
||
Wand. "VLISP: A Verified Implementation of Scheme".
|
||
<em>Lisp and Symbolic Computation</em>. Vol. 8 No. 1/2.
|
||
1995. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp-lasc/results.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp-lasc/results.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Joshua D. Guttman, John D. Ramsdell and Vipin
|
||
Swarup. "The VLISP Verified Scheme System". <em>Lisp
|
||
and Symbolic Computation</em>. Vol. 8 No. 1/2. 1995.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp-lasc/vlisp.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp-lasc/vlisp.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Dino P. Oliva, John D. Ramsdell and Mitchell Wand.
|
||
"The VLISP Verified PreScheme Compiler". <em>Lisp and
|
||
Symbolic Computation</em>. Vol. 8 No. 1/2. 1995.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp-lasc/prescheme.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp-lasc/prescheme.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 29, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Jim Bender. "(X)Querying XML in Scheme". July 2003.
|
||
Available online: <a href=
|
||
"http://celtic.benderweb.net/webit/docs/xquery-pre/">html</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 28, 2004
|
||
</h3>
|
||
<ul>
|
||
<li>Jacob Matthews, Robert Bruce Findler, Paul T.
|
||
Graunke, Shriram Krishnamurthi, Matthias Felleisen.
|
||
"Automatically Restructuring Software for the Web".
|
||
<em>Journal of Automated Software Engineering</em>.
|
||
2004. Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/mfgkf-web-restructuring-cps-journal/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Oleg Kiselyov. "An applicative-order term rewriting
|
||
system for code generation, and its termination
|
||
analysis". <em>Eighteenth Annual IEEE Symposium on
|
||
Logic in Computer Science (LICS 2003)</em>. June 2003.
|
||
Available online: <a href=
|
||
"http://pobox.com/~oleg/ftp/Scheme/PostL-paper.html">html</a>.
|
||
</li>
|
||
<li>Oleg Kiselyov. "Towards the best collection API
|
||
(extended abstract)". <em>Lightweight Languages 2003
|
||
(LL3) workshop</em>. November 2003. Available online:
|
||
<a href=
|
||
"http://pobox.com/~oleg/ftp/Computation/Computation.html#enumerator-stream">
|
||
html</a>.
|
||
</li>
|
||
<li>Erick Gallesio and Manuel Serrano. "Programming
|
||
Graphical User Interfaces with Scheme". <em>Journal of
|
||
Functional Programming</em>. Vol. 13, No. 5. September
|
||
2003. Available online: <a href=
|
||
"http://www-sop.inria.fr/mimosa/Manuel.Serrano/publi/gs-jfp03.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Jim Bender. "WebIt!: Embedding XML, HTML, and CSS
|
||
in Scheme [Draft]". January 2004. Available online:
|
||
<a href=
|
||
"http://celtic.benderweb.net/webit/docs/basics/">html</a>.
|
||
</li>
|
||
<li>Jim Bender. "Advanced Uses of Micros". January
|
||
2003. Available online: <a href=
|
||
"http://celtic.benderweb.net/webit/docs/advanced/">html</a>.
|
||
</li>
|
||
<li>Alan Bawden. "Quasiquotation in Lisp". 1999.
|
||
Available online: <a href=
|
||
"http://people.csail.mit.edu/alan/ftp/quasiquote-v59.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Alan Bawden. "Quasiquotation in Lisp". <em>Partial
|
||
Evaluation and Program Manipulation (PEPM99)</em>.
|
||
1999. Available online: <a href=
|
||
"http://people.csail.mit.edu/alan/ftp/pepm99.ps.gz">ps</a>.
|
||
</li>
|
||
<li>Brian Cantwell Smith. "Reflection and Semantics in
|
||
a Procedural Language". PhD. Thesis. Massachusetts
|
||
Institute of Technology. MIT-LCS-TR-272. January 1982.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bcsmith-thesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Brian Cantwell Smith. "Reflection and semantics in
|
||
LISP". <em>Principles of programming languages
|
||
(POPL84)</em>. January 1984. Available online:
|
||
<a href="http://portal.acm.org/citation.cfm?id=800017.800513">
|
||
ACM Digital Library</a>.
|
||
</li>
|
||
<li>Brian Cantwell Smith and Jim des Rivières. "Interim
|
||
3-LISP Reference Manual". Xerox PARC. 1984.
|
||
</li>
|
||
<li>Jim des Rivières and Brian Cantwell Smith. "The
|
||
implementation of procedurally reflective languages".
|
||
<em>1984 ACM Symposium on LISP and functional
|
||
programming</em>. August 1984. Available online:
|
||
<a href=
|
||
"http://portal.acm.org/citation.cfm?id=800055.802050">
|
||
ACM Digital Library</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/compiler.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/compiler.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/faithfulness.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/faithfulness.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Joshua D. Guttman, Leonard G. Monk, John D.
|
||
Ramsdell, William M. Farmer, Vipin Swarup. "The VLISP
|
||
Flattener". MITRE Corporation. September 1992.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/flattener.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/flattener.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/guide.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/guide.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/image_builder.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/image_builder.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>William M. Farmer, Joshua D. Guttman, Leonard G.
|
||
Monk, John D. Ramsdell, Vipin Swarup. "The VLISP
|
||
Linker". MITRE Corporation. September 1992. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/linker.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/linker.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>William M. Farmer and John D. Ramsdell. "A Verifed
|
||
Compiler for Multithreaded PreScheme". MITRE
|
||
Corporation. January 1996. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/mtps.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/mtps.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/prescheme.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/prescheme.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>John D. Ramsdell. "The Revised VLISP PreScheme
|
||
Front End". MITRE Corporation. August 1993. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/preschemerevised.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/preschemerevised.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Dino P. Oliva and Mitchell Wand. "A Verifed
|
||
Compiler for Pure PreScheme". MITRE Corporation.
|
||
September 1991. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/pureprescheme.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/pureprescheme.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Dino P. Oliva and Mitchell Wand. "A Verifed
|
||
Run-Time Structure for Pure PreScheme". MITRE
|
||
Corporation. September 1992. Available online:
|
||
<a href="http://repository.readscheme.org/ftp/papers/vlisp/runtime.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/runtime.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Vipin Swarup, William M. Farmer, Joshua D. Guttman,
|
||
Leonard G. Monk, John D. Ramsdell. "VLISP Byte Code
|
||
Interpreter". MITRE Corporation. September 1992.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/vm.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/vlisp/vm.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Daniel P. Friedman and Oleg Kiselyov. "A Logic
|
||
System with First-Class Relations". May 2004. Available
|
||
online: <a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b521/qs.ps">ps</a>
|
||
<a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b521/qs.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
December 22, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Kirill Lisovsky, Dmitry Lizorkin. "XSLT and XLink
|
||
and their implementation with functional techniques".
|
||
<em>Russian Digital Libraries Journal</em>. Vol. 6 - No
|
||
5. 2003. Available online: <a href=
|
||
"http://www.elbib.ru/index.phtml?page=elbib/eng/journal/2003/part5/LL">
|
||
html</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
December 12, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Matthias Felleisen, Robert Bruce Findler, Matthew
|
||
Flatt and Shriram Krishnamurthi. "The Structure and
|
||
Interpretation of the Computer Science Curriculum".
|
||
<em>Journal of Functional Programming</em>. 2004.
|
||
Available online: <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/fffk-jfp.ps">ps</a>
|
||
<a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/fffk-jfp.pdf">pdf</a>.
|
||
</li>
|
||
<li>Matthias Felleisen, Robert Bruce Findler, Matthew
|
||
Flatt and Shriram Krishnamurthi. "The TeachScheme!
|
||
Project: Computing and Programming for Every Student".
|
||
<em>Computer Science Education</em>. 2004. Available
|
||
online: <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/cse2003-fffk-final.ps">
|
||
ps</a> <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/cse2003-fffk-final.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Alexander Friedman and Jamie Raymond. "PLoT
|
||
Scheme". <em>Scheme Workshop 2003</em>. November 2003.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/PLoTScheme.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/PLoTScheme.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Marc Feeley and Danny Dubé. "PICBIT: A Scheme
|
||
System for the PIC Microcontroller". <em>Scheme
|
||
Workshop 2003</em>. November 2003. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/PICBIT.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/PICBIT.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Pedro Pinto. "Dot-Scheme: A PLT Scheme FFI for the
|
||
.NET framework". <em>Scheme Workshop 2003</em>.
|
||
November 2003. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Dot-Scheme.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Dot-Scheme.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Philippe Meunier and Daniel Silva. "From Python to
|
||
PLT Scheme". <em>Scheme Workshop 2003</em>. November
|
||
2003. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/SPY.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/SPY.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Martin Gasbichler, Eric Knauel, Michael Sperber and
|
||
Richard A. Kelsey. "How to Add Threads to a Sequential
|
||
Language Without Getting Tangled Up". <em>Scheme
|
||
Workshop 2003</em>. November 2003. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Threads.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Threads.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Dorai Sitaram. "Unwind-protect in portable Scheme".
|
||
<em>Scheme Workshop 2003</em>. November 2003. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Unwind.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Unwind.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Peter Walton Hopkins. "Enabling Complex UI In Web
|
||
Applications With send/suspend/dispatch". <em>Scheme
|
||
Workshop 2003</em>. November 2003. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/WebUI.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/WebUI.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Ryan Culpepper and Matthias Felleisen. "Well-Shaped
|
||
Macros". <em>Scheme Workshop 2003</em>. November 2003.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/macros.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/macros.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Dorai Sitaram. "Porting Scheme Programs".
|
||
<em>Scheme Workshop 2003</em>. November 2003. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Scmxlate.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sw2003/Scmxlate.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
December 9, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Daniel P. Friedman and Oleg Kiselyov. "A Logic
|
||
System with First-Class Relations". May 2004. Available
|
||
online: <a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b521/qs.ps">ps</a>
|
||
<a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b521/qs.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kirill Lisovsky, Dmitry Lizorkin. "XML Path
|
||
Language (XPath) and its functional implementation
|
||
SXPath". <em>Russian Digital Libraries Journal</em>.
|
||
Vol. 6 - No 4. 2003. Available online: <a href=
|
||
"http://www.elbib.ru/index.phtml?page=elbib/eng/journal/2003/part4/LL">
|
||
html</a>.
|
||
</li>
|
||
<li>Daniel P. Friedman. "Object-Oriented Style".
|
||
<em>International LISP Conference</em>. October 2003.
|
||
Available online: <a href=
|
||
"http://www.cs.indiana.edu/hyplan/dfried/ooo.ps">ps</a>
|
||
<a href=
|
||
"http://www.cs.indiana.edu/hyplan/dfried/ooo.pdf">pdf</a>.
|
||
</li>
|
||
<li>Timothy J. Hickey. "Scheme-based Web Programming as
|
||
a Basis for a CS0 Curriculum". September 2003.
|
||
Available online: <a href=
|
||
"http://www.cs.brandeis.edu/~tim/Papers/sigcse-cs0.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://www.cs.brandeis.edu/~tim/Papers/tatool03.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Timothy J. Hickey, R. Alterman, J. Langton. "TA
|
||
Groupware". Brandeis University. Tech. Rep. CS-02-222.
|
||
January 2002. Available online: <a href=
|
||
"http://www.cs.brandeis.edu/~tim/Papers/sigcse-tatool.ps">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Michael Bridgen, Noel Welsh, Matthias Radestock.
|
||
"Scheme in The Real World: A Case Study". August 2003.
|
||
Available online: <a href=
|
||
"http://schematics.sourceforge.net/scheme-london/nmk-case-study.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kurt Nørmark. "XML Transformation in Scheme with
|
||
LAML - a Minimalistic Approach". <em>International Lisp
|
||
Conference 2003</em>. October 2003. Available online:
|
||
<a href=
|
||
"http://www.cs.auc.dk/~normark/laml/papers/xml-transformations.ps">
|
||
ps</a> <a href=
|
||
"http://www.cs.auc.dk/~normark/laml/papers/xml-transformations.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kirill Lisovsky. "Scheme-based XML Application
|
||
Server". <em>Workshop on Advanced Functional
|
||
Programming (AFP'2002)</em>. August 2002.
|
||
</li>
|
||
<li>Paul T. Graunke. "Web Interactions". PhD. Thesis.
|
||
Northeastern University. 2003. Available online:
|
||
<a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/thesis-graunke.ps.gz">
|
||
ps</a> <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/thesis-graunke.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>David Tucker and Shriram Krishnamurthi. "Pointcuts
|
||
and Advice in Higher-Order Languages".
|
||
<em>Aspect-Oriented Software Development (AOSD
|
||
2003)</em>. April 2003. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/tucker-aosd2003.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/tucker-aosd2003.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/tucker-cs0213.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/tucker-cs0213.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Hidehiko Masuhara and Gregor Kiczales. "Modeling
|
||
Crosscutting in Aspect-Oriented Mechanisms".
|
||
<em>ECOOP2003</em>. July 2003. Available online:
|
||
<a href=
|
||
"http://www.graco.c.u-tokyo.ac.jp/~masuhara/papers/ecoop2003.pdf">
|
||
pdf</a> <a href=
|
||
"http://www.graco.c.u-tokyo.ac.jp/~masuhara/papers/ecoop2003-slides.pdf">
|
||
slides</a> <a href=
|
||
"http://www.graco.c.u-tokyo.ac.jp/~masuhara/papers/ecoop2003-slides.pps">
|
||
slides (pps)</a>.
|
||
</li>
|
||
<li>Hidehiko Masuhara, Gregor Kiczales and Christopher
|
||
Dutchyn. "A Compilation and Optimization Model for
|
||
Aspect-Oriented Programs". <em>Compiler Construction
|
||
(CC2003)</em>. 2003. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/masuhara-cc2003.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/masuhara-cc2003.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Christopher Dutchyn, Gregor Kiczales and Hidehiko
|
||
Masuhara. "AOP Language Exploration Using the Aspect
|
||
Sand Box". <em>Aspect-Oriented Software Development
|
||
(AOSD 2002)</em>. April 2002.
|
||
</li>
|
||
<li>Hidehiko Masuhara, Gregor Kiczales and Christopher
|
||
Dutchyn. "Compilation Semantics of Aspect-Oriented
|
||
Programs". <em>Foundations Of Aspect-Oriented Languages
|
||
(Workshop at AOSD 2002)</em>. April 2002. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/masuhara-foal2002.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/masuhara-foal2002.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Doug Orleans. "Incremental Programming with
|
||
Extensible Decisions". <em>Aspect-Oriented Software
|
||
Development (AOSD 2002)</em>. April 2002. Available
|
||
online: <a href=
|
||
"http://steak.place.org/dougo/papers/aosd02/aosd02.ps">
|
||
ps</a> <a href=
|
||
"http://steak.place.org/dougo/papers/aosd02/aosd02.pdf">
|
||
pdf</a> <a href=
|
||
"http://steak.place.org/dougo/papers/aosd02/slides.pdf">
|
||
slides</a>.
|
||
</li>
|
||
<li>Doug Orleans. "Incremental Programming with
|
||
Extensible Decisions". Northeastern University.
|
||
NU-CCS-02-01. October 2002. Available online:
|
||
<a href="http://steak.place.org/dougo/papers/tr/02-01/aosd02.ps">
|
||
ps</a> <a href=
|
||
"http://steak.place.org/dougo/papers/tr/02-01/aosd02.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Doug Orleans. "Programming Language Support For
|
||
Separation Of Concerns". Northeastern University. April
|
||
2002. Available online: <a href=
|
||
"http://steak.place.org/dougo/thesis/proposal.ps">ps</a>
|
||
<a href=
|
||
"http://steak.place.org/dougo/thesis/proposal.pdf">pdf</a>.
|
||
</li>
|
||
<li>Mitchell Wand, Gregor Kiczales and Christopher
|
||
Dutchyn. "A Semantics for Advice and Dynamic Join
|
||
Points in Aspect-Oriented Programming".
|
||
<em>TOPLAS</em>. 2003. Available online: <a href=
|
||
"ftp://ftp.ccs.neu.edu/pub/people/wand/papers/wkd02.ps">
|
||
ps</a>.
|
||
</li>
|
||
<li>Mitchell Wand, Gregor Kiczales and Christopher
|
||
Dutchyn. "A Semantics for Advice and Dynamic Join
|
||
Points in Aspect-Oriented Programming". <em>FOOL9
|
||
Workshop</em>. 2002.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
May 21, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Karoline Malmkjær. "Abstract Interpretation of
|
||
Partial-Evaluation Algorithms". PhD. Thesis. Kansas
|
||
State University. 1993. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/malmkjaer-phdthesis.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/malmkjaer-phdthesis.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>John Hatcliff. "Foundations of Partial Evaluation
|
||
and Program Specialization". Kansas State University.
|
||
March 1999. Available online: <a href=
|
||
"http://www.cis.ksu.edu/~hatcliff/FPEPS/#notes">course
|
||
notes</a>.
|
||
</li>
|
||
<li>Henry M. Wu. "Scheme 86: An Architecture for
|
||
Microcoding a Scheme Interpreter". Massachusetts
|
||
Institute of Technology. AIM-953. August 1988.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-953.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-953.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-1103.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-1103.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Andrew A. Berlin and Henry M. Wu. "Scheme86: A
|
||
System for Interpreting Scheme". Massachusetts
|
||
Institute of Technology. AIM-1040. April 1988.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1040.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1040.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
April 27, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Carsten K. Gomard and Neil D. Jones. "Partial
|
||
evaluation of lambda calculus". <em>1998 DIKU
|
||
International Summerschool</em>. LNCS 1706. 1999.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/pe98-school/D-413.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/pe98-school/D-413.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Karoline Malmkjær. "Program and Data Specialization
|
||
Principles, Applications, and Self-Application".
|
||
Masters Thesis. DIKU. August 1989. Available online:
|
||
<a href=
|
||
"http://repository.readscheme.org/ftp/papers/malmkjaer-speciale.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/malmkjaer-speciale.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Neil D. Jones. "MIX Ten Years Later". <em>Partial
|
||
Evaluation and Program Manipulation (PEPM '95)</em>.
|
||
1995. Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-255.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Robert Glück and Neil D. Jones. "Automatic program
|
||
specialization by partial evaluation: an introduction".
|
||
<em>Software Engineering in Scientific Computing</em>.
|
||
1996. Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-288.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Anders Bondorf and Dirk Dussart. "Improving
|
||
CPS-Based Partial Evaluation, Writing Cogen by Hand".
|
||
<em>Partial Evaluation and Semantics-Based Program
|
||
Manipulation (PEPM'94)</em>. June 1994. Available
|
||
online: <a href=
|
||
"ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/bondorf.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy, Karoline Malmkjær and Jens Palsberg.
|
||
"The Essence of Eta-Expansion in Partial Evaluation".
|
||
<em>Partial Evaluation and Semantics-Based Program
|
||
Manipulation (PEPM'94)</em>. June 1994. Available
|
||
online: <a href=
|
||
"ftp://ftp.dina.kvl.dk/pub/Staff/Peter.Sestoft/pepm94-proceedings/danvy.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Andrew A. Berlin and Rajeev J. Surati. "Partial
|
||
Evaluation for Scientific Computing: The Supercomputer
|
||
Toolkit Experience". <em>Partial Evaluation and
|
||
Semantics-Based Program Manipulation (PEPM'94)</em>.
|
||
June 1994. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/berlinsurati-pepm94.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/berlinsurati-pepm94.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Charles Consel. "New Insights into Partial
|
||
Evaluation: the SCHISM Experiment". <em>2nd European
|
||
Symposium on Programming (ESOP '88)</em>. March 1988.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/consel-schism-esop88.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/consel-schism-esop88.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Charles Consel. "Analyse de Programmes, Evaluation
|
||
Partielle et Génération de Compilateurs". PhD. Thesis.
|
||
Université de Paris VI. 1989.
|
||
</li>
|
||
<li>Neil D. Jones, Carsten K. Gomard and Peter Sestoft.
|
||
"Partial Evaluation and Automatic Program Generation".
|
||
1993. Available online: <a href=
|
||
"http://www.dina.kvl.dk/~sestoft/pebook/jonesgomardsestoft.ps">
|
||
ps</a> <a href=
|
||
"http://www.dina.kvl.dk/~sestoft/pebook/jonesgomardsestoft-letter.pdf">
|
||
pdf</a> <a href=
|
||
"http://www.dina.kvl.dk/~sestoft/pebook/pebook.html">book
|
||
website</a>.
|
||
</li>
|
||
<li>Akihito Nagata, Eijiro Sumii and Akinori Yonezawa.
|
||
"A Scheme-to-Java Translator with Soft Typing". May
|
||
2002. Available online: <a href=
|
||
"http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/scm2java.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Three Steps for the CPS
|
||
Transformation". Kansas State University. CIS-92-02.
|
||
December 1991. Available online: <a href=
|
||
"http://www.daimi.au.dk/~danvy/Papers/3steps.ps.gz">ps</a>.
|
||
</li>
|
||
<li>Neil D. Jones. "Partial Evaluation and the
|
||
Generation of Program Generators". DIKU. D-130. January
|
||
1992. Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-130.ps.Z">ps</a>.
|
||
</li>
|
||
<li>Neil D. Jones. "An Introduction to Partial
|
||
Evaluation". <em>ACM Computing Surveys</em>. Vol. 28.
|
||
No. 3. September 1996. Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-294.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Anders Bondorf. "Self-Applicable Partial
|
||
Evaluation". PhD. Thesis. DIKU. 1990.
|
||
</li>
|
||
<li>Bernd Grobauer. "Topics in Semantics-based Program
|
||
Manipulation". PhD. Thesis. University of Aarhus. July
|
||
2001. Available online: <a href=
|
||
"http://www.brics.dk/DS/01/6/BRICS-DS-01-6.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/DS/01/6/BRICS-DS-01-6.pdf">pdf</a>.
|
||
</li>
|
||
<li>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:
|
||
<a href=
|
||
"http://www.brics.dk/RS/96/13/BRICS-RS-96-13.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/RS/96/13/BRICS-RS-96-13.pdf">pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Type-Directed Partial Evaluation".
|
||
<em>Principles of Programming Languages (POPL'96)</em>.
|
||
1996. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/PB-494.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/PB-494.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy, Karoline Malmkjær and Jens Palsberg.
|
||
"Eta-Expansion Does the Trick". <em>Transactions on
|
||
Programming Languages and Systems</em>. Vol. 18. No. 4.
|
||
November 1996. Available online: <a href=
|
||
"http://www.brics.dk/RS/96/17/BRICS-RS-96-17.ps.gz">ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy, Karoline Malmkjær and Jens Palsberg.
|
||
"Eta-Expansion Does the Trick". University of Aarhus.
|
||
BRICS RS-95-41. November 1995. Available online:
|
||
<a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-malmkjaer-palsberg-brics95.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Carsten K. Gomard and Neil D. Jones. "A Partial
|
||
Evaluator for the Untyped Lambda Calculus". DIKU. D-15.
|
||
January 1991. Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-15.ps.gz">ps</a>.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "An Automatic
|
||
Program Generator for Multi-Level Specialization". <em>
|
||
Higher-Order and Symbolic Computing</em>. Vol. 10.
|
||
No. 2. July 1997. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-325.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-325.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy and Mayer Goldberg. "Partial
|
||
Evaluation of the Euclidian Algorithm".
|
||
<em>Higher-Order and Symbolic Computing</em>. Vol. 10.
|
||
No. 2. July 1997. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-1.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/BRICS-RS-97-1.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Karoline Malmkjær. "Towards Efficient Partial
|
||
Evaluation". <em>Partial evaluation and semantics-based
|
||
program manipulation (PEPM'93)</em>. August 1993.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-161.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-161.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Karoline Malmkjær and Peter Ørbæk. "Polyvariant
|
||
specialization for higher-order, block-structured
|
||
languages". <em>Partial evaluation and semantics-based
|
||
program manipulation (PEPM'95)</em>. June 1995.
|
||
Available online: <a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/poe/pepm95.ps.gz">ps</a>
|
||
<a href="http://doi.acm.org/10.1145/215465.215558">ACM
|
||
Digital Library</a>.
|
||
</li>
|
||
<li>Charles Consel and Olivier Danvy. "Tutorial Notes
|
||
on Partial Evaluation". <em>Principles of Programming
|
||
Languages (POPL'93)</em>. January 1993. Available
|
||
online: <a href=
|
||
"http://compose.labri.fr/documentation/papers/pe-tutorial.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Charles Consel and Olivier Danvy. "Static and
|
||
Dynamic Semantics Processing". <em>Principles of
|
||
Programming Languages (POPL'91)</em>. January 1991.
|
||
Available online: <a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-popl91.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Charles Consel and Olivier Danvy. "For a Better
|
||
Support of Static Data Flow". <em>Functional
|
||
Programming and Computer Architecture (FPCS'91)</em>.
|
||
1991. Available online: <a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-fpca91.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Semantics-Directed Compilation of
|
||
Non-Linear Patterns". <em>Information Processing
|
||
Letters</em>. Vol. 37. March 1991. Available online:
|
||
<a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-ipl91.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Anders Bondorf and Olivier Danvy. "Automatic
|
||
Autoprojection of Recursive Equations with Global
|
||
Variables and Abstract Data Types". <em>Science of
|
||
Computer Programming</em>. Vol. 16. 1991. Available
|
||
online: <a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/bondorf-danvy-scp91.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Charles Consel and Olivier Danvy. "Partial
|
||
Evaluation of Pattern Matching in Strings".
|
||
<em>Information Processing Letters</em>. Vol. 30. No.
|
||
2. January 1989. Available online: <a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/consel-danvy-ipl89.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Jesper Jørgensen. "Generating a compiler for a lazy
|
||
language by partial evaluation". <em>Principles of
|
||
Programming Languages (POPL'92)</em>. January 1992.
|
||
Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-98.ps.Z">ps</a>
|
||
<a href="http://doi.acm.org/10.1145/143165.143220">ACM
|
||
Digital Library</a>.
|
||
</li>
|
||
<li>Eijiro Sumii and Naoki Kobayashi.
|
||
"Online-and-Offline Partial Evaluation: A Mixed
|
||
Approach". <em>Partial Evaluation and Semantics-Based
|
||
Program Manipulation (PEPM'00)</em>. January 2000.
|
||
Available online: <a href=
|
||
"http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Eijiro Sumii and Naoki Kobayashi. "A Hybrid
|
||
Approach to Online and Offline Partial Evaluation".
|
||
<em>Higher-Order and Symbolic Computation</em>. Vol.
|
||
14. No. 2/3. September 2001. Available online:
|
||
<a href="http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe-hosc.ps.gz">
|
||
ps</a> <a href=
|
||
"http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe-hosc.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Eijiro Sumii. "A Hybrid Approach To Online And
|
||
Offline Partial Evaluation". Masters Thesis. University
|
||
of Tokyo. February 2000. Available online: <a href=
|
||
"http://www.yl.is.s.u-tokyo.ac.jp/~sumii/pub/onpe.ps.gz">
|
||
ps</a> <a href=
|
||
"http://citeseer.nj.nec.com/rd/2643588%2C371973%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/cache/papers/cs/17182/http:zSzzSzwww.yl.is.s.u-tokyo.ac.jpzSz%7EsumiizSzpubzSz.zSzm_thesis.pdf/sumii00hybrid.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Eijiro Sumii and Naoki Kobayashi. "Online
|
||
Type-Directed Partial Evaluation for Dynamically-Typed
|
||
Languages". <em>Computer Software</em>. Vol. 17. No. 3.
|
||
May 2000. Available online: <a href=
|
||
"http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/dynamic-tdpe.ps.gz">
|
||
ps</a> <a href=
|
||
"http://web.yl.is.s.u-tokyo.ac.jp/~sumii/pub/dynamic-tdpe.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
April 21, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>William D. Clinger, Anne Hartheimer and Eric M.
|
||
Ost. "Implementation strategies for continuations".
|
||
Vol. 12. No. 1. 1999.
|
||
</li>
|
||
<li>Olivier Danvy. "Formalizing Implementation
|
||
Strategies for First-Class Continuations". <em>European
|
||
Symposium on Programming (ESOP 2000)</em>. LNCS 1782.
|
||
April 2000. Available online: <a href=
|
||
"http://www.brics.dk/RS/99/51/BRICS-RS-99-51.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/RS/99/51/BRICS-RS-99-51.pdf">pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Back to Direct Style". <em>European
|
||
Symposium on Programming (ESOP 1992)</em>. LNCS 582.
|
||
February 1992. Available online: <a href=
|
||
"ftp://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-scp94.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "On some Functional Aspects of
|
||
Control". <em>Workshop on the Implementation of Lazy
|
||
Functional Languages</em>. October 1988. Available
|
||
online: <a href=
|
||
"http://www.daimi.au.dk/~danvy/Papers/fac.ps.gz">ps</a>
|
||
<a href=
|
||
"http://citeseer.nj.nec.com/rd/2643588%2C295233%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/cache/papers/cs/14165/http:zSzzSzwww.daimi.au.dkzSz%7EdanvyzSzPaperszSzfac.pdf/danvy88some.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Memory Allocation and Higher-Order
|
||
Functions". <em>Interpreters and Interpretive
|
||
Techniques (SIGPLAN'87)</em>. June 1987.
|
||
</li>
|
||
<li>Anders Bondorf. "Automatic Autoprojection of Higher
|
||
Order Recursive Equations". <em>European Symposium on
|
||
Programming (ESOP 1990)</em>. LNCS 432. May 1990.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-esop90.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/bondorf-esop90.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Charles Consel and Olivier Danvy. "From
|
||
Interpreting to Compiling Binding Times". <em>European
|
||
Symposium on Programming (ESOP 1990)</em>. LNCS 432.
|
||
May 1990. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-esop90.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/brics/consel-danvy-esop90.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Michael Sperber. "Self-Applicable Online Partial
|
||
Evaluation". <em>Partial Evaluation: Dagstuhl
|
||
Seminar</em>. LNCS 1110. February 1996. Available
|
||
online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sperber-pe96.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/sperber-pe96.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>John Hatcliff and Robert Glück. "Reasoning about
|
||
Hierarchies of Online Program Specialization Systems".
|
||
<em>Partial Evaluation: Dagstuhl Seminar</em>. LNCS
|
||
1110. February 1996. Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-269.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "Pragmatics of Type-Directed Partial
|
||
Evaluation". <em>Partial Evaluation: Dagstuhl
|
||
Seminar</em>. LNCS 1110. February 1996. Available
|
||
online: <a href=
|
||
"http://www.brics.dk/RS/96/15/BRICS-RS-96-15.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/RS/96/15/BRICS-RS-96-15.pdf">pdf</a>.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "Multi-Level
|
||
Specialization (Extended Abstract)". <em>Partial
|
||
Evaluation - Practice and Theory, DIKU 1998
|
||
International Summer School</em>. LNCS 1706. June 1998.
|
||
Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/pe98-school/D-363.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/pe98-school/D-363.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Robert Glück and Jesper Jørgensen. "Fast
|
||
Binding-Time Analysis for Multi-Level Specialization".
|
||
<em>Perspectives of System Informatics</em>. LNCS 1181.
|
||
1996. Available online: <a href=
|
||
"ftp://ftp.diku.dk/diku/semantics/papers/D-279.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy and René Vestergaard.
|
||
"Semantics-Based Compiling: A Case Study in
|
||
Type-Directed Partial Evaluation". <em>PLILP'96</em>.
|
||
1996. Available online: <a href=
|
||
"http://citeseer.nj.nec.com/rd/2643588%2C372108%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/compress/0/papers/cs/11422/http:zSzzSzwww.cee.hw.ac.ukzSz~jrvestzSzWritingszSzdanvy-vestergaard-plilp96.ps.gz/semantics-based-compiling-a.ps">
|
||
ps</a> <a href=
|
||
"http://citeseer.nj.nec.com/rd/2643588%2C372108%2C1%2C0.25%2CDownload/http://citeseer.nj.nec.com/cache/papers/cs/11422/http:zSzzSzwww.cee.hw.ac.ukzSz%7EjrvestzSzWritingszSzdanvy-vestergaard-plilp96.pdf/semantics-based-compiling-a.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Jesper Jørgensen. "Similix: A Self-Applicable
|
||
Partial Evaluator for Scheme". <em>Partial Evaluation:
|
||
Practice and Theory (DIKU International Summer School
|
||
1998)</em>. LNCS 1706. June 1998. Available online:
|
||
<a href=
|
||
"http://www.dina.dk/~jesper/PEsummerschool/Similix/similix.html">
|
||
html</a>.
|
||
</li>
|
||
<li>Peter Thiemann. "Aspects of the PGG System:
|
||
Specialization for Standard Scheme". <em>Partial
|
||
Evaluation: Practice and Theory (DIKU International
|
||
Summer School 1998)</em>. LNCS 1706. June 1998.
|
||
</li>
|
||
<li>Anders Bondorf. "Similix 5.0 Manual". 1993.
|
||
Available online: <a href=
|
||
"ftp://ftp.diku.dk/pub/diku/semantics/similix/similix-manual-5.0.ps.gz">
|
||
ps</a> <a href=
|
||
"ftp://ftp.diku.dk/pub/diku/semantics/similix/similix-manual-5.0.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy. "On listing list prefixes". <em>Lisp
|
||
Pointers</em>. Vol. 2. No. 3-4. January 1989.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
April 18, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>John Franco and Daniel P. Friedman. "Creating
|
||
Efficient Programs by Exchanging Data for Procedures".
|
||
<em>Journal of Computer Languages</em>. Vol. 4. Num. 1.
|
||
1989.
|
||
</li>
|
||
<li>Christopher T. Haynes. "Logic Continuations". <em>
|
||
Journal of Logic Programming</em>. Vol. 4. 1987.
|
||
</li>
|
||
<li>Matthias Felleisen. "Recursion and Circularity:
|
||
Extended Puzzle with Solution". Indiana University.
|
||
TR-201. October 1986.
|
||
</li>
|
||
<li>Mitchell Wand. "A Semantic Algebra for Logic
|
||
Programming". Indiana University. TR-148. August 1983.
|
||
</li>
|
||
<li>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". <em>Journal of Computer
|
||
Languages</em>. Vol. 15. Num. 4. 1990.
|
||
</li>
|
||
<li>Steven L. Jenkins and Gary T. Leavens. "Ploymorphic
|
||
Type-Checking in Scheme". <em>Journal of Computer
|
||
Languages</em>. Vol. 22. Num. 4. 1996.
|
||
</li>
|
||
<li>W. F. Wong. "Optimizing Floating Point Operations
|
||
in Scheme". <em>Journal of Computer Languages</em>.
|
||
Vol. 25. 1999.
|
||
</li>
|
||
<li>Michael C. Rubenstein and Richard M. Salter.
|
||
"Computationally Extended Logic Programming".
|
||
<em>Journal of Computer Languages</em>. Vol. 12. Num.
|
||
1. 1987.
|
||
</li>
|
||
<li>Ching-Lin Wang. "A Continuation-based Language
|
||
Embedded in Scheme". <em>Journal of Computer
|
||
Languages</em>. Vol. 17. Num. 1. 1992.
|
||
</li>
|
||
<li>Ching-Lin Wang. "Obtaining Lazy Evaluation with
|
||
Continuations in Scheme". <em>Information Processing
|
||
Letters</em>. Vol. 35. 1990.
|
||
</li>
|
||
<li>Kenichi Asai. "Binding-Time Analysis for Both
|
||
Static and Dynamic Expressions". <em>New Generation
|
||
Computing</em>. Vol. 20. No. 1. November 2001.
|
||
Available online: <a href=
|
||
"http://pllab.is.ocha.ac.jp/~asai/papers/ngc02.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Kenichi Asai. "Integrating Partial Evaluators into
|
||
Interpreters,". <em>Semantics, Applications, and
|
||
Implementation of Program Generation</em>. LNCS 2196.
|
||
September 2001. Available online: <a href=
|
||
"http://pllab.is.ocha.ac.jp/~asai/papers/saig01.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Kenichi Asai. "Binding-Time Analysis for Both
|
||
Static and Dynamic Expressions". <em>Static
|
||
Analysis</em>. LNCS 1694. September 1999. Available
|
||
online: <a href=
|
||
"http://pllab.is.ocha.ac.jp/~asai/papers/sas99.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Kurt Nørmark. "The duality of XML Markup and
|
||
Programming notation". <em>IADIS WWW/Internet
|
||
2003</em>. November 2003. Available online: <a href=
|
||
"http://www.cs.auc.dk/~normark/laml/papers/duality-xml-prog.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kurt Nørmark. "Web Programming in Scheme with
|
||
LAML". April 2003. Available online: <a href=
|
||
"http://www.cs.auc.dk/~normark/laml/papers/web-programming-laml.ps">
|
||
ps</a> <a href=
|
||
"http://www.cs.auc.dk/~normark/laml/papers/web-programming-laml.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
March 30, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Olivier Danvy and Karoline Malmkjær. "A Blond
|
||
Primer". DIKU. DIKU Rapport 88/21. October 1988.
|
||
Available online: <a href=
|
||
"http://www.daimi.au.dk/~danvy/Papers/danvy-malmkjaer-blond-primer.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Kenichi Asai. "Can partial evaluation improve the
|
||
performance of ray tracing?". Ochanomizu University.
|
||
June 2002. Available online: <a href=
|
||
"http://pllab.is.ocha.ac.jp/~asai/papers/ewha01.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>Olivier Danvy and Karoline Malmkjær. "Intensions
|
||
and Extensions in a Reflective Tower". <em>Lisp and
|
||
Functional Programming (LFP'88)</em>. 1988. Available
|
||
online: <a href=
|
||
"http://www.daimi.au.dk/~danvy/Papers/danvy-malmkjaer-LFP88.ps.gz">
|
||
ps</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://www.brics.dk/~hense/papers/BRICS-RS-03-11.ps.gz">
|
||
ps</a> <a href=
|
||
"http://www.brics.dk/~hense/papers/BRICS-RS-03-11.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>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: <a href=
|
||
"http://www.brics.dk/RS/01/12/BRICS-RS-01-12.ps.gz">ps</a>
|
||
<a href=
|
||
"http://www.brics.dk/RS/01/12/BRICS-RS-01-12.pdf">pdf</a>.
|
||
</li>
|
||
<li>Olivier Danvy, Juergen Koslowski and Karoline
|
||
Malmkjær. "Compiling Monads". Kansas State University.
|
||
CIS-92-3. December 1991. Available online: <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-154.ps.gz">
|
||
ps</a> <a href=
|
||
"http://repository.readscheme.org/ftp/papers/topps/D-154.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Daniel P. Friedman. "From Direct Style to Monadic
|
||
Style through Continuation-Passing Style". 2002.
|
||
Available online: <a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b621/rember.ps">
|
||
ps</a> <a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b621/rember.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>Daniel P. Friedman. "Direct Style from Monadic
|
||
Style and Back". 2002. Available online: <a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b621/traverseS.ps">
|
||
ps</a> <a href=
|
||
"http://www.cs.indiana.edu/l/www/classes/b621/traverseS.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
<li>John Clements and Matthias Felleisen. "A
|
||
Tail-Recursive Semantics for Stack Inspections".
|
||
<em>European Symposium on Programming (ESOP'2003)</em>.
|
||
April 2003. Available online: <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/esop2003-cf.ps.gz">
|
||
ps</a> <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/esop2003-cf.pdf">pdf</a>.
|
||
</li>
|
||
<li>Andrew A. Berlin. "Partial evaluation applied to
|
||
numerical computation". <em>LISP and Functional
|
||
Programming (LFP 1990)</em>. 1990. Available online:
|
||
<a href="http://doi.acm.org/10.1145/91556.91612">ACM
|
||
Digital Library</a>.
|
||
</li>
|
||
<li>Pete Tinker and Morry Katz. "Parallel execution of
|
||
sequential scheme with ParaTran". <em>1988 ACM
|
||
conference on LISP and functional programming</em>.
|
||
1988. Available online: <a href=
|
||
"http://doi.acm.org/10.1145/62678.62682">ACM Digital
|
||
Library</a>.
|
||
</li>
|
||
<li>Ana Bove and Laura Arbilla. "A confluent calculus
|
||
of Macro expansion and evaluation". <em>1992 ACM
|
||
conference on LISP and functional programming</em>.
|
||
1992. Available online: <a href=
|
||
"http://doi.acm.org/10.1145/141471.141562">ACM Digital
|
||
Library</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 25, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Charles Consel. "Report on Schism (Manual)".
|
||
IRISA/University of Rennes I. January 1996. Available
|
||
online: <a href=
|
||
"ftp://ftp.irisa.fr/local/lande/Schism/manual.ps.gz">ps</a>.
|
||
</li>
|
||
</ul>
|
||
<h3>
|
||
January 18, 2003
|
||
</h3>
|
||
<ul>
|
||
<li>Oleg Kiselyov and Shriram Krishnamurthi. "SXSLT:
|
||
Manipulation Language for XML". <em>Practical Aspects
|
||
of Declarative Languages (PADL'03)</em>. January 2003.
|
||
Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/kk-sxslt/">
|
||
downloadable paper</a> <a href=
|
||
"http://okmij.org/ftp/papers/SXSLT-talk.pdf">slides</a>.
|
||
</li>
|
||
<li>Shriram Krishnamurthi. "The Continue Server (or,
|
||
How I Administered PADL 2002 and 2003)". <em>Practical
|
||
Aspects of Declarative Languages (PADL'03)</em>.
|
||
January 2003. Available online: <a href=
|
||
"http://www.cs.brown.edu/~sk/Publications/Papers/Published/sk-continue/">
|
||
downloadable paper</a>.
|
||
</li>
|
||
<li>Paul T. Graunke, Robert Bruce Findler, Shriram
|
||
Krishnamurthi, Matthias Felleisen. "Modeling Web
|
||
Interactions". <em>European Symposium on Programming
|
||
(ESOP)</em>. April 2003. Available online: <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/esop2003-gfkf.ps.gz">
|
||
ps</a> <a href=
|
||
"http://www.ccs.neu.edu/scheme/pubs/esop2003-gfkf.pdf">
|
||
pdf</a>.
|
||
</li>
|
||
</ul>
|
||
<p>
|
||
The <a href="./new2001.html">2001 additions</a> and
|
||
<a href="./new2002.html">2002 additions</a> are
|
||
archived on separate pages.
|
||
</p>
|
||
<p>
|
||
<img width="1" height="40" border="0" src=
|
||
"./imgs/dot_clear.gif">
|
||
</p>
|
||
<div class="collophon" align="right">
|
||
Last modified: Saturday, August 11th, 2012
|
||
4:55:43pm<br>
|
||
HTML generated using <a href=
|
||
"http://celtic.benderweb.net/webit/">WebIt!</a>.
|
||
</div>
|
||
</td>
|
||
</tr>
|
||
</table>
|
||
</body>
|
||
</html>
|