Proceedings of the Workshop on [LOGO]
Scheme and Functional Programming 2000
Montréal, 17 September 2000

If you wish to receive a paper copy of the proceedings, please send email to Donna Jares



At the request of several attendees, the list of attendees is available here on-line.
In the spirit of Scheme, it is an S-expression file.





Preface

This technical report contains the papers presented at the workshop on Scheme and Functional Programming 2000 (Scheme 2000). The workshop took place in Montréal, Canada, on September 17, 2000. The aim of Scheme 2000 was to provide a forum for researchers and implementors who work on Scheme and/or functional programming ideas.

The program committee selected the papers from 17 draft papers, which were submitted in response to a call for papers. All committee members reviewed all of the papers. The program committee held a virtual meeting. The lively meeting lasted for over two weeks. The committee decided for each paper whether to accept it and, if so, whether to present it as a regular or a short paper. Then each paper was assigned to a committee member who summarized the original written comments and the comments of the virtual meeting for the author(s).


Matthias Felleisen
Rice University, USA
For the Program Committee

Citation


Matthias Felleisen.
Proceedings of the Workshop on Scheme and Functional Programming.
Rice Technical Report 00-368. September 2000.


Program Committee


Kent Dybvig, Indiana University
Marc Feeley, Université de Montréal
Matthias Felleisen, Rice University
Daniel Friedman, Indiana University
Manuel Serrano, Université de Nice (Sophia-Antipolis)
Olin Shivers, Massachusetts Institute of Technology



Contents


GOld: a link-time optimizer for Scheme -- page 1
Dominique Boucher, Locus Dialogue, Inc., Montréal, Canada

SILK: a playful blend of Scheme and Java -- page 13
Kenneth R. Anderson, BBN Technologies, Cambridge, MA
Timothey J. Hickey, Brandeis University, Waltham, MA
Peter Norvig, NASA Ames Research Center, Moffett Field, CA

Implementing Metcast in Scheme -- page 23
Oleg Kiselyov, Naval Postgraduate School, Monterey, CA

Numerical partial differential equations in Scheme -- page 27
Bradley J. Lucier, Purdue University, West Lafayette, IN

SGDL-Scheme: A high-level algorithmic language for projective solid modeling programming -- page 31
Jean-Francois Rotge, GRCAO, Université de Montréal, Montréal, Canada

BIT: A very compact Scheme system for embedded applications -- page 35
Danny Dubé, DIRO, Université de Montréal, Montréal, Canada

Automatic generation of compact programs and virtual machines for Scheme -- page 45
Mario Latendresse, Rice University, Houston, TX

Writing macros in continuation-passing style -- page 53
Erik Hilsdale, Indiana University, Bloomington, IN
Daniel P. Friedman, Indiana University, Bloomington, IN

An implementation of transparent migration on standard Scheme -- page 61
Eijiro Sumii, University of Tokyo, Tokyo, Japan

A portable implementation of first-class continuations for unrestricted interoperability with C in a multithreaded Scheme -- page 65
Marc Feeley, DIRO, Université de Montréal, Montréal, Canada

Component support for PLT Scheme -- page 67
Paul A. Steckler, Rice University, Houston, TX