CMU Artificial Intelligence Repository
Online Scheme-related tech reports and papers.
lang/scheme/txt/
This directory contains machine readable forms of various
Scheme-related texh reports, conference papers, etc.
See Also:
lang/scheme/doc/
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
Scheme!Documents, Scheme!Papers, Scheme!Tech Reports
References:
[1] Adams, Norman and Curtis and Spreitzer, "First-class Data-type
Representations in Scheme", Xerox, June 1993. (reps??)
[2] Joel F. Bartlett, "SCHEME->C: A Portable Scheme-to-C Compiler",
Digital Equipment Corporation, Western Research Laboratory, Palo Alto,
CA, Research Report 89/1, January 1989. (s2c)
[3] Brian Beckman, "A Scheme for Interactive Graphics", Computer Graphics
Laboratory, NASA JPL, July 17, 1990. (schemelittle)
[4] William Clinger, "Hygienic Macros Through Explicit Renaming", Lisp
Pointers IV(4):17-23, December 1991. (exrename)
[5] William Clinger, "Macros in Scheme", Lisp Pointers IV(4):25-28,
December 1991. (macinsch)
[6] Pavel Curtis and James Rauen, "A Module System for Scheme".
(modules.dvi)
[7] Olivier Danvy and Andrzej Filinski, "Representing Control: A Study
of the CPS transformation", Technical Report 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)
[8] Olivier Danvy and Julia L. Lawall, "Back to Direct Style II: First
Class Continuations", Proceedings of the 1992 ACM Conference on Lisp
and Functional Programming, pages 299-309, San Francisco, June 1992.
(btds2)
[9] Ken Dickey, "Scheming with Objects", AI Expert 7(10):24-33,
October 1992. (swob)
[10] R. Kent Dybvig, "Three Implementation Models for Scheme", PhD
thesis, University of North Carolina Computer Science Technical
Report 87-011, April 1987. (3imp)
[11] R. Kent Dbyvig, "Writing Hygienic Macros in Scheme with
Syntax-Case", Technical Report \#356, Computer Science Department,
Indiana University, June 1992, 29pgs. (iucstr356)
[12] Marc Feeley, "An Efficient and General Implementation of Futures
on Large Scale Shared-Memory Multiprocessors", PhD thesis, April
1993. (futures)
[13] Marc Feeley, "Polling Efficiently on Stock Hardware", to appear at
FPCA93. (polling)
[14] Marc Feeley and James S. 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)
[15] Matthias Felleisen and Robert Hieb, "The Revised Report on the
Syntactic Theories of Sequential Control and State", Rice University
Technical Report # 100-89, June 1989. (ricetr100)
[16] Matthias Felleisen, "On the Expressive Power of Programming
Languages", in Science of Computer Programming, 1991. (express)
[17] Felleisen, Matthias, "(Y Y) Works! A Lecture on the _Why_ of Y",
September 26, 1991. (YY)
[18] Eric T. Freeman and Daniel P. Friedman, "Characterizing the
Paralation Model using Dynamic Assignment", Technical Report #348,
Computer Science Department, Indiana University, March 1992, 14pgs.
(iucstr348)
[19] Lars Thomas Hansen, "The impact of programming style on the
performance of Scheme programs", M.S. Thesis, University of Oregon,
August 1992. 185 pp. (hansen) ftp.cs.uoregon.edu:/pub/lth/
[20] Chris Hanson, "A Syntactic Closures Macro Facility", Lisp Pointers
IV(4):9-16, December 1991. (synclo)
[21] Robert Hieb and R. Kent Dybvig and Carl Bruggeman, "Syntactic
Abstraction in Scheme", Technical Report #355, Computer Science
Department, Indiana University, June 1992 (revised July 3, 1992).
(iucstr355)
[22] Aaron Konstam and John E. Howland, "Scheme as an Expository
Language for Liberal Arts Students", Lisp Pointers, 1994.
[23] Stanley Jefferson and Daniel P. Friedman, "A Simple Reflective
Interpreter", Technical Report #364, Computer Science Department,
Indiana University, September 1992. 11pgs. (iucstr364)
[24] Richard A. 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)
[25] Julia L. Lawall and Daniel P. Friedman, "Toward Leakage
Containment", Technical Report #346, Computer Science Department,
Indiana University, February 1992, 11pgs. (iucstr346)
[26] Shinn-Der Lee and Daniel P. Friedman, "Quasi-Static Scoping: Sharing
Variable Bindings Across Multiple Lexical Scopes", Technical Report
#365, Computer Science Department, Indiana University, October 1992.
14pgs. (iucstr365)
[27] Shinn-Der Lee and Daniel P. Friedman, "First-Class Extents",
Technical Report #350, Computer Science Department, Indiana
University, March 1992, 45pgs, (revised August 1992). (iucstr350)
[28] Christian Queinnec, "Meroon: A Small, Efficient and Enhanced Object
System", Ecole Polytechnique and INRIA-Rocquencourt, July 1992. (meroon)
[29] John D. Ramsdell, "An Operational Semantics for Scheme", Lisp
Pointers V(2):6-10, April-June 1992. (sos)
[30] Jonathan Rees and Bruce Donald, "Program Mobile Robots in Scheme",
Proceedings of the 1992 IEEE International Conference on Robotics and
Automation, pages 2681-2688, 1992. (mobot-scheme)
[31] Jonathan Rees, "The Scheme of Things" (guest column). (opaque)
[32] Guillermo Juan Rozas, "Taming the Y Operator", Conference on Lisp and
Functional Programming, June 1992. (y [y.tar.Z])
[33] Amr Sabry and Matthias Felleisen, "Reasoning about Programs in
Continuation-Passing Style", Technical Report 92-180, Rice
University, May 1992. (ricetr180)
[34] John Wiseman Simmons II and Daniel P. Friedman, "A Reflective
System is as Extensible as its Internal Representations: An
Illustration", Technical Report #366, Computer Science Department,
Indiana University, October 1992. 17pgs. (iucstr366)
[35] John Wiseman Simmons II and Stanley Jefferson and Daniel P.
Friedman, "Language Extension via First-class Interpreters", Technical
Report #362, Computer Science Department, Indiana University,
September 1992. 22pgs. (iucstr362)
[36] Sho-Huan Simon Tung, "Merging Interactive, Modular and
Object-Oriented Programming", Technical Report #349, Phd thesis,
Computer Science Department, Indiana University, March 1992, 143pgs.
(iucstr349)
[37] Sho-Huan Simon Tung, "Interactive Modular Programming in Scheme",
Proceedings of the 1992 ACM Conference on Lisp and Functional
Programming, San Francisco, June 1992. (imp)
[38] The Verified Programming Language Implementation project papers, MITRE
Corporation, and Northeastern University. See vlisp/WHATIS.
(vlisp)
Last Web update on Mon Feb 13 10:38:18 1995
AI.Repository@cs.cmu.edu