SCHEME family

Previous: Standard Lisp family - Up: LISP - Next: VLISP

Scheme
T

SCHEME

Gerald Jay Sussman and Guy Lewis Steele, Jr. SCHEME: An Interpreter for Extended Lambda Calculus. AI Memo No. 349, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, December 1975, 43 pages. PDF at MIT
Guy Lewis Steele, Jr. and Gerald Jay Sussman. LAMBDA: The Ultimate Imperative. AI Memo No. 353, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, March 10, 1976, 40 pages. PDF at MIT
Guy Lewis Steele, Jr. LAMBDA: The Ultimate Declarative. AI Memo No. 379, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, November 1976, 47 pages. PDF at MIT
Guy Lewis Steele, Jr. Debunking the "Expensive Procedure Call" Myth; or, Procedure Call Implementations Considered Harmful; or, LAMBDA: The Ultimate GOTO. AI Memo No. 443, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, October 1977, 23 pages. PDF at MIT

A version of this report was published in Proceedings of the 1977 ACM annual conference, pages 153-162. ACM DL
Guy Lewis Steele, Jr. and Gerald Jay Sussman. The Revised Report on SCHEME: A Dialect of LISP. AI Memo No. 452, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, January 1978, 35 pages. PDF at MIT
Guy Lewis Steele, Jr. and Gerald Jay Sussman. The Art of the Interpreter; or, The Modularity Complex (Parts Zero, One, and Two). AI Memo No. 453, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, May 1978, 75 pages. PDF at MIT
Guy Lewis Steele, Jr. RABBIT: A Compiler for SCHEME (A Study in Compiler Optimization). Technical Report 474, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, May 1978, 282 pages. PDF at MIT

The Appendix includes an annotated listing of the compiler, written in SCHEME. See also Source Code, below.
Guy Lewis Steele, Jr. and Gerald Jay Sussman. Design of LISP-based Processors; or, SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful; or, LAMBDA: The Ultimate Opcode. AI Memo No. 514, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, March 1979, 75 pages. PDF at MIT

A version of this report was published as: Design of a Lisp-based Microprocessor. Communications of the ACM, Volume 23, Issue 11, November 1980, pages 628-645. ACM DL
Guy Lewis Steele, Jr. Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO. AI: An MIT Perspective, 1980.
William Clinger, editor. The Revised Revised Report on Scheme; or, An UnCommon Lisp. AI Memo No. 848, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, August 1985, 76 pages. PDF at MIT

Also published as: Technical Report 174, Computer Science Department, Indiana University, June 1985.
Jonathan Rees and William Clinger, editors. Revised³ Report on the Algorithmic Language Scheme. SIGPLAN Notices Volume 21, Number 12, December 1986, pages 37-79. ACM DL
William Clinger and Jonathan Rees, editors. Revised⁴ Report on the Algorithmic Language Scheme. In ACM Lisp Pointers Volume 4, Number 3, July 1991, pages 1-55. ACM DL https://legacy.cs.indiana.edu/ftp/scheme-repository/
IEEE. IEEE Standard for the Scheme Programming Language. IEEE Standard 1178-1990, ISBN 1-55937-125-0, 1991. IEEE Xplore
Guy L. Steele Jr. and Masayuki Ida. Scheme: Past, Present, and Future. Technical Report No. 95-009, Aoyama Gakuin University, December 20, 1995. PDF at prof-ida.com
Richard Kelsey, William Clinger, and Jonathan Rees, editors. Revised⁵ Report on the Algorithmic Language Scheme. Higher-Order and Symbolic Computation, Volume 11, Number 1, August 1998, pages 7-105. Online at cs.au.dk via archive.ord Other formats via www.schemers.org
Jim Bender, editor. Bibliography of Scheme-related Research. Online at library.readscheme.org
Chris Hanson, maintainer. RRRS-Authors Mailing-List Archive. Mailing list of the authors of the Scheme reports, 1984-1998. Online at groups.csail.mit.edu
Michael Sperber et al. The Revised⁶ Report on the Algorithmic Language Scheme. September 26, 2007 Online at r6rs.org
Alex Shinn, John Cowan, and Arthur A. Gleckler, editors. The Revised⁷ Report on the Algorithmic Language Scheme. Ratified in 2013.
.
- Small edition, official document, 13 February 2021. PDF at standards.scheme.org
- Small edition, unofficial document, errata corrected. PDF at standards.scheme.org
- R7RS Working Group 1 (R7RS-WG1). Online at small.r7rs.org

Source code

Guy L. Steele, Jr. RABBIT. Scheme compiler written in Lisp, 1978. Online at CMU Scheme Repository
Bruce G. Baumgart, archivist. SAILDART Archives, Artificial Intelligence Laboratory, Stanford University. Online at saildart.org
- [SCH,LSP] Scheme for TOPS-20 operating system, as used by students in M.I.T.'s 6.001. [Adapted for WAITS?] Online
Ozan S. Yigit, David Eby, and John Zuckerman. The Internet Scheme Repository. Web site, last updated 1998 (no longer being maintained). Online at legacy.cs.indiana.edu
Mark Kantrowitz. CMU Scheme Repository. Web site, last updated February 13, 1995 (no longer being maintained). Online at CMU AI Repository
Matthias Radestock, original editor. category-implementations, Community Scheme Wiki, Revision 48, March 29, 2015. Online at community.schemewiki.org
Scheme FAQ: What Scheme implementations are there? Revision 229, August 15, 2016.Online at community.schemewiki.org

Implementation papers

Mitchell Wand. SCHEME 3.1 REFERENCE MANUAL, Technical Report 93, Department of Computer Science, Indiana University, June 1980. PDF at indiana.edu
Carol Fessenden, William Clinger, Daniel P. Friedman, and Christopher Haynes. Scheme 311 Version 4 Reference Manual. Technical Report 137, Department of Computer Science, Indiana University, February 1983.
D.P. Friedman, C.T. Haynes, E. Kohlbecker and M. Wand. Scheme 84 Interim Reference Manual. Technical Report 153, Department of Computer Science, Indiana University, February 1984 (revised June 1985).
William Clinger. The Scheme 311 compiler: An exercise in denotational semantics. Proceedings of the 1984 ACM Symposium on LISP and functional programming, Austin, Texas, pages 356–364. ACM DL
Joel Bartlett. SCHEME->C : a Portable Scheme-to-C Compiler. Research Report 89/1, Western Research Laboratory, Digital Equipment Corporation, January 1989. Online at hpl.hp.com

Books

Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs. Second Edition. The MIT Press, 1996. Complete text in HTML. Online at mit.edu
R. Kent Dybvig. The Scheme Programming Language. Fourth Edition, The MIT Press, 2009. Online at www.scheme.com
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. How to Design Programs. Second Edition, The MIT Press, 2014. Complete text in HTML. Online at htdp.org

T

T was based on Scheme and was started at Yale University in 1981 by Jonathan A. Rees and Norman I. Adams IV. [See Rees and Adams 1982.]

Source code

Jonathan Rees. The T Project. Website, December 2004. Online at mumble.net
- Version 2.9. .tar.gz at mumble.net
- Version 3.0. .tar.gz at mumble.net
Taylor R. Campbell. T repository. Website, January 2010. Online at people.csail.mit.edu
- Version 3.1-ai. .tar at people.csail.mit.edu
  "From an FTP site at the AI lab, no longer operational as far as I know. Latest file is dated 1990-06-15. Includes CISC (VAX, for Ultrix (but not VMS); m68k, for HP-UX, SunOS, A/UX, and Apollo), N32/Encore Multimax, and RISC (MIPS/pmax and SPARC v8, for Ultrix and SunOS) ports, in source and executable binary forms, as well as the manual in several formats."
- Version 3.1-funet. .tar at people.csail.mit.edu
  "From < ftp://ftp.funet.fi/pub/languages/scheme/impls/t3.1/>, but I don't know for how long that will remain operational. Latest file is dated 1990-09-25. Includes all of the above, plus m68k/NeXT."
- Version 3.1-cag. .tar at people.csail.mit.edu
  "From an FTP site at the AI lab's Computer Architecture Group, no longer operational as far as I know. Latest file is dated 1993-02-18, except for the README which was updated 1993-09-15 and 1996-07-17. This includes only the RISC ports (MIPS/pmax, MIPS/sgi, and SPARC v8), as well as an Xlib interface."
T mailing list archive. .tar.bz2 at people.csail.mit.edu
Version 3.1 source code. Internet Scheme Repository. Online at legacy.cs.indiana.edu

Documentation

Jonathan A. Rees, Norman I. Adams, and James R. Meehan. The T Manual, third Edition, Computer Science Department, Yale University, New Haven, Connecticut, May 3, 1983.
Jonathan A. Rees, Norman I Adams IV, and James R. Meehan. The T manual, fourth edition. Computer Science Department, Yale University, January 1984.
Jonathan A. Rees, Norman I Adams IV, and James R. Meehan. The T manual, fifth edition ("Pre-Beta Draft"). Computer Science Department, Yale University, 1988. PDF at people.csail.mit.edu

Papers

Jonathan A. Rees and Norman I. Adams IV. T: A Dialect of Lisp; or, LAMBDA: The ultimate software tool. Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming, pages 114-122. ACM DL PDF at fresh.homeunix.net PDF at people.csail.mit.edu
D. A. Krantz, R. Kelsey, J. A. Rees, P. Hudak, J. Philbin and N. I. Adams. ORBIT: An optimizing compiler for Scheme. Proceedings SIGPLAN 1986 Symposium on Compiler Construction, SIGPLAN Notices Volume 21, Number 7, pages 219-223. ACM DL PDF at people.csail.mit.edu
D. A. Kranz, R. H. Halstead, and E. Mohr. Mul-T: a high-performance parallel Lisp. Proceedings SIGPLAN 1987 Symposium on Interpreters and Interpretive Techniques, SIGPLAN Notices Volume 24, Number 7 (July 1989), pages 81-90. ACM DL PDF at people.csail.mit.edu
David Andrew Kranz. ORBIT: An Optimizing Compiler for Scheme. Technical Report YALEU/DCS/RR-632, Yale University, February 1988. PDF at cpsc.yale.edu
Richard Kelsey and Paul Hudak. Realistic Compilation by Program Transformation : Detailed Summary. Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, 1989, pages 281-292. ACM DL PostScript at people.csail.mit.edu
Olin Shivers. History of T, December 2001. http://www.paulgraham.com/thist.html

Originally appeared as: Olin Shivers. T. Posting to LL1-Discuss@ai.mit.edu mailing list, December 11, 2001. Online at people.csail.mit.edu

Previous: Standard Lisp family - Up: LISP - Next: VLISP