Scheme-related Publications

Scheme Repository [text section] This section of the Repository contains various publications relevant to the Scheme programming Language.

The entries are sorted alphabetically by first author.

An nice introduction to the Scheme programming language may be found in intro.txt.

  • Adams, Curtis & Spreitzer. First-class Data-type Representations in SchemeXerox. June 1993. (reps.ps.gz)
  • Ashley and Dybvig. An Efficient Implementation of Multiple Return Values in Scheme. Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, 140-149, Orlando, June 1994. (mrvs.ps.gz)
  • Bartlett. SCHEME->C: A Portable Scheme-to-C Compiler. Digital Equipment Corporation Western Research Laboratory technical report 89/1. (s2c.ps.gz)
  • Brian Beckman. A Scheme for Interactive Graphics. Computer Graphics Laboratory, NASA JPL, July 17, 1990. (schemelittle.ps.gz)
  • Brent W. Benson, Jr. "libscheme: Scheme as a C Library". Proceedings of the 1994 USENIX Symposium on Very High Level Languages. (libscheme-vhll.ps.gz)
    An HTML version is available as well.
  • Burger, Waddell, and Dybvig. Register Allocation using Lazy Saves, Eager Restores, and Greedy Shuffling. To appear in the Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, June 1995. (Reg-Alloc-PLDI95.ps.gz)
  • Burger and Dybvig. Printing Floating-Point Numbers Quickly and Accurately. To appear in the Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, (FP-Printing-PLDI96.ps.gz)
  • Pavel Curtis and James Rauen. A Module System for Scheme. Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, June 1990. (modules.ps.gz) Thanks to Tom Lyons for transferring this from .dvi to .ps.
  • Danvy and Filinski. Representing Control: A Study of the CPS Transformation. CIS-91-2, Department of Computing and Information Sciences, Kansas State University, February 1991, Revised June 1992. To appear in the journal Mathematical Structures for Computer Science. (rrc.ps.gz)
  • Danvy and Lawall. Back to Direct Style II: First Class Continuations. Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, 299-309, San Francisco, June 1992. (btds2.ps.gz)
  • Ken Dickey. The Scheme Programming Language. Computer Language, June 1992. (intro.txt)
  • Ken Dickey. Scheming with Objects. Computer Language, October 1992. (swob.txt)
  • Dybvig. Three Implementation Models for Scheme. University of North Carolina Computer Science Technical Report 87-011 [Ph.D. Dissertation], April 1987. (3imp.ps.gz)
  • Dybvig. Writing Hygenic Macros in Scheme with Syntax-Case. Computer Science Department, Indiana University, June 1992, 29pgs. (iucstr356.ps.gz)
  • Dybvig, Bruggeman, and Eby. Guardians in a Generation-Based Garbage Collector. Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, June 1993. (guardians.ps.gz)
  • Dybvig, Eby, and Bruggeman. Don't Stop the BIBOP: Flexible and Efficient Storage Management for Dynamically Typed Languages, Indiana University, March 1994. (iucstr400.ps.gz)
  • Dybvig and Hieb. A New Approach to Procedures with Variable Arity. Journal of Lisp and Symbolic Computation, 1990. (var-arity.ps.gz)
  • Feeley. An Efficient and General Implementation of Futures on Large Scale Shared-Memory Multiprocessors. Ph.D. thesis. (futures.ps.gz)
  • Feeley. Polling Efficiently on Stock Hardware. In proceddings of the ACM Conference on Functional Programming and Computer Architecture, 1993. (polling.ps.gz)
  • Feeley and Miller. A Parallel Virtual Machine for Efficient Scheme Compilation. Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, June 1990. (pvm.ps.gz)
  • Felleisen. On the Expressive Power of Programming Languages. Science of Computer Programming, 1991. (express.ps.gz)
  • Felleisen. (Y Y) Works! A Lecture on the Why of Y. Sept 1991. (Y.ps.gz)
  • Felleisen & Hieb. The Revised Report on the Syntactic Theories of Sequential Control and State. Rice University, June 1989. (ricetr100.ps.gz)
  • Freeman and Friedman. Characterizing the Paralation Model using Dynamic Assignment. Computer Science Department, Indiana University March 1992, 14pgs. (iucstr348.ps.gz)
  • Gudeman. Representing Type Information in Dynamically Typed Languages. (typeinfo.ps.gz)
  • Lars Thomas Hansen. The Impact of Programming Style on the Performance of Scheme Programs. M.S. Thesis, University of Oregon, August 1992. 185 pp. (impact.ps.gz)
  • Hieb, Dybvig and Bruggeman. Syntactic Abstraction in Scheme. Computer Science Department, Indiana University, June 1992 [revised 7/3/92]. (iucstr355.ps.gz)
  • Jefferson and Friedman. A Simple Reflective Interpreter. Computer Science Department, Indiana University September 1992. 11pgs. (iucstr364.ps.gz)
  • Kelsey. Tail-Recursive Stack Disciplines for an Interpreter. [enhanced version of Technical Rep. NU-CCS-93-03, College of Computer Science, Northeastern University, 1992]. (stack-gc.ps.gz)
  • Lawall and Friedman. Toward Leakage Containment, Computer Science Department. Indiana University February 1992, 11pgs. (iucstr346.ps.gz)
  • Lee and Friedman. First-Class Extents. Computer Science Department, Indiana University March 1992, 45pgs, Revised Aug. 1992. (iucstr350.ps.gz)
  • Lee and Friedman. Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes. Computer Science Department, Indiana University October 1992. 14pgs. (iucstr365.ps.gz)
  • Queinnec. MEROON: A Small, Efficient and Enhanced Object System. July 1992. (meroon.ps.gz)
  • Ramsdell. An Operational Semantics for Scheme. Lisp Pointers V(2), 6-10, April-June 1992. (sos.ps.gz)
  • John D. Ramsdell. Scheme: The Next Generation. Lisp Pointers, Vol. VII, No. 4, October-December 1994, pages 13-14. (sng.ps.gz).
  • Rees. Scheme of Things (guest column). (opaque.ps.gz)
  • Rees and Donald. Program Mobile Robots in Scheme. Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 2681-2688. (mobot-scheme.ps.gz)
  • Rozas (jinx). Taming the Y Operator,. Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, San Francisco, June 1992 (y.ps.gz). The LaTeX source is available as well (y.tar.gz).
  • Sabry & Felleisen. Reasoning about Programs in Continuation-Passing Style. Rice University, May 1992. (ricetr180.ps.gz)
  • Olin Shivers. A Scheme Shell. MIT Laboratory for Computer Science Personal Information Architecture Note 3, April 1994. (scsh-paper.ps.gz)
  • Olin Shivers & Brian D. Carlstrom. Scsh Reference Manual (draft). December 25, 1994. (scsh-manual.ps.gz)
  • Simmons and Friedman. A Reflective System is as Extensible as its Internal Representations: An Illustration. Computer Science Department, Indiana University, October 1992. 17pgs. (iucstr366.ps.gz)
  • Simmons II, Jefferson, and Friedman. Language Extension via First-class Interpreters. Computer Science Department, Indiana University September 1992. 22pgs. (iucstr362.ps.gz)
  • Steele and Gabriel. The Evolution of LISP, ACM SIGPLAN Notices, Vol 28(3), 231-270, March 1993. (Evolution-of-Lisp.ps.gz)
  • Tung. Interactive Modular Programming in Scheme. Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, San Francisco, June 1992. (imp.ps.gz)
  • Tung. Merging Interactive, Modular and Object-Oriented Programming. Computer Science Department, Indiana University March 1992, 143pgs. (iucstr349.ps.gz)
  • The Verified Programming Language Implementation project papers, MITRE Corporation, and Northeastern University. (vlisp; See vlisp/WHATIS)
    • The Internet Scheme Repository
    scheme-repository-request@cs.indiana.edu