The inaugural report on Scheme by Gerald Sussman and Guy Steele
was published as a research memo by the
MIT Artificial Intelligence Laboratory
(now CSAIL),
the birthplace of both Lisp and Scheme.
It was the first in a series of AI Memos known as "The Lambda Papers":
Design of LISP-based Processors, or SCHEME: A Dielectric LISP,
or Finite Memories Considered Harmful, or
LAMBDA: The Ultimate Opcode
(AIM-514, March 1979)
From 1980 Scheme research spread beyond MIT, and Scheme became a common
"algorithm language" in academic Computer Science (replacing publication style Algol).
The trope "LAMBDA: The Ultimate <x>" continues to be used
in the titles of CS papers.
Please let us
know if we are missing a research group doing work in Scheme,
or if there is inaccurate information here. We'd like to collect
a comprehensive list of groups here.
Racket, a programming
language derived from Scheme, has been developed as a
collaboration between these groups:
Universities
Brown University, Providence, RI
Brigham Young University, Provo, UT
California Polytechnic State University, San Luis Obispo,
CA
Northeastern University, Boston, MA
Northwestern University, Evanston, IL
University of Utah, Salt Lake City, UT
Worcester Polytechnic Institute
In association with
Dorai Sitaram, GTE Labs
Francisco Solsona, Universidad Nacional Autónoma de
México
Mike Sperber, Universität Tübingen
Noel Welsh, LShift
Massachusetts Institute of Technology (MIT)
Project MAC,
the research group of Professors Sussman and Abelson, co-authors
of the textbook Structure
and Interpretation of Computer Programs, uses its own
implementation, MIT/GNU Scheme, for non-programming-languages
research, but incidental programming languages research does make
its way into the implementation.
