Path: utzoo!yunexus!oz From: oz@yunexus.UUCP (Ozan Yigit) Newsgroups: comp.lang.scheme Subject: Scheme Bibliography (Aug. 1988) Keywords: scheme, bibliography Message-ID: <842@yunexus.UUCP> Date: 16 Aug 88 22:01:38 GMT Article-I.D.: yunexus.842 Reply-To: oz@yunexus.UUCP (Ozan Yigit) Organization: York U. Computing Services - Magic Group Lines: 1483 BIB/REFER Database on SCHEME This posting contains is a reasonable bibliography database on Scheme (a crystal in the muddy language landscape), BIB/REFER format, containing 82 entries sorted by date and first author, for your perusal, corrections and enjoyment. I do not consider it complete nor correct, hence your contributions and/or corrections are gratefully accepted. [Note: this posting also contains a r2bib (BibTeX) translation of the database. I think BibTeX format is losing. If anyone knows of a better bibliography format suitable for TeX, please let me know.] So, here it is for your enjoyment. Happy Scheming... oz #! /bin/sh # This is a shell archive. Remove anything before this line, then unpack # it by saving it into a file and typing "sh file". To overwrite existing # files, type "sh file -c". You can also feed this as standard input via # unshar, or by typing "sh'tags.doc' <<'END_OF_FILE' XBIB (UofArizona) Field Tags X X%A - Author's name X%B - Title of the book containing item X%C - City of publication X%D - Date X%E - Editor(s) of book containing item X%F - Caption X%G - Government (NTIS) ordering number X%I - Issuer (publisher) X%J - Journal name X%K - Keys for searching X%N - Issue number X%O - Other information X%P - Page(s) of article X%R - Technical report number X%S - Series title X%T - Title X%V - Volume number END_OF_FILE if test 422 -ne `wc -c <'tags.doc'`; then echo shar: \"'tags.doc'\" unpacked with wrong size! fi # end of 'tags.doc' fi if test -f 'scheme.bib' -a "${1}" != "-c" ; then echo shar: Will not clobber existing file \"'scheme.bib'\" else echo shar: Extracting \"'scheme.bib'\" \(15607 characters\) sed "s/^X//" >'scheme.bib' <<'END_OF_FILE' X X%A John Reynolds X%T Definitional Interpreters for Higher Order Programming Languages X%J ACM Conference Proceedings X%P 717-740 X%I ACM X%D 1972 X X%A Gerald Jay Sussman X%A Guy Lewis Steele, Jr. X%T Scheme: an Interpreter for Extended Lambda Calculus X%R MIT Artificial Intelligence Memo 349 X%C Cambridge, Mass. X%D December 1975 X X%A Guy Lewis Steele, Jr. X%A Gerald Jay Sussman X%T Lambda, the Ultimate Imperative X%R MIT Artificial Intelligence Memo 353 X%C Cambridge, Mass. X%D March 1976 X%K imperative X X%A Guy Lewis Steele, Jr. X%T Lambda, the Ultimate Declarative X%R MIT Artificial Intelligence Memo 379 X%C Cambridge, Mass. X%D November 1976 X%K declarative X X%A Guy Lewis Steele, Jr. X%T Debunking the ``Expensive Procedure Call'' Myth, or Procedure Call XImplementations Considered Harmful, or LAMBDA, the Ultimate GOTO X%J ACM Conference Proceedings X%P 153-162 X%I ACM X%D 1977 X X%A Guy Lewis Steele, Jr. X%T Macaroni is Better than Spaghetti X%J Proceedings of the Symposium on Artificial Intelligence and XProgramming Languages X%P 60-66 X%O Special joint issue of SIGPLAN Notices 12(8) and SIGART Newsletter 64 X%D August 1977 X X%A Mitchell Wand X%T Continuation-Based Program Transformation Strategies X%J Journal of the ACM X%V 27 X%N 1 X%P 174-180 X%D 1978 X X%A Guy Lewis Steele, Jr. X%A Gerald Jay Sussman X%T The Revised Report on Scheme, a Dialect of Lisp X%R MIT Artificial Intelligence Memo 452 X%C Cambridge, Mass. X%D January 1978 X X%A Guy Lewis Steele, Jr. X%T Rabbit: a Compiler for Scheme X%R MIT Artificial Intelligence Laboratory Technical Report 474 X%C Cambridge, Mass. X%D May 1978 X X%A Guy Lewis Steele, Jr. X%A Gerald Jay Sussman X%T The Art of the Interpreter, or the Modularity Complex X(parts zero, one, and two) X%R MIT Artificial Intelligence Memo 453 X%C Cambridge, Mass. X%D May 1978 X%K modularity X X%A Drew McDermott X%T An Efficient Environment Allocation Scheme in an Interpreter Xfor a Lexically-Scoped Lisp X%J Conference Record of the 1980 Lisp Conference X%P 154-162 X%I The Lisp Conference, P.O. Box 487, Redwood Estates CA. X%D 1980 X%O Proceedings reprinted by ACM X X%A Steven S. Muchnick X%A Uwe F. Pleban X%T A Semantic Comparison of Lisp and Scheme X%J Conference Record of the 1980 Lisp Conference X%P 56-65 X%I The Lisp Conference, P.O. Box 487, Redwood Estates CA. X%D 1980 X X%A Guy Lewis Steele, Jr. X%T Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO X%B AI: An MIT Perspective X%E Patrick Henry Winston X%E Richard Henry Brown X%I MIT Press X%C Cambridge, Mass. X%D 1980 X X%A Guy Lewis Steele, Jr. X%A Gerald Jay Sussman X%T The Dream of a Lifetime: a Lazy Variable Extent Mechanism X%J Conference Record of the 1980 Lisp Conference X%P 163-172 X%I The Lisp Conference X%D 1980 X X%A Mitchell Wand X%T Continuation-Based Multiprocessing X%J Conference Record of the 1980 Lisp Conference X%P 19-28 X%I The Lisp Conference X%D 1980 X X%A Guy Lewis Steele, Jr. X%A Gerald Jay Sussman X%T Design of a Lisp-based Processor X%J CACM X%V 23 X%N 11 X%P 628-645 X%D November 1980 X X%A Gerald Jay Sussman X%A Jack Holloway X%A Guy Lewis Steele, Jr. X%A Alan Bell X%T Scheme-79 - Lisp on a Chip X%J IEEE Computer X%V 14 X%N 7 X%P 10-21 X%D July 1981 X%I IEEE X X%A John Batali X%A Edmund Goodhue X%A Chris Hanson X%A Howie Shrobe X%A Richard M. Stallman X%A Gerald Jay Sussman X%T The Scheme-81 Architecture - System and Chip X%J Proceedings, Conference on Advanced Research in VLSI X%P 69-77 X%E Paul Penfield, Jr. X%C Artech House, Dedham MA. X%D 1982 X%K scheme81 X X%A Peter Henderson X%T Functional Geometry X%J Conference Record of the 1982 ACM Symposium on Lisp and XFunctional Programming X%P 179-187 X%D 1982 X X%A Jonathan A. Rees X%A Norman I. Adams X%T T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool X%J Conference Record of the 1982 ACM Symposium on Lisp and XFunctional Programming X%P 114-122 X%D 1982 X X%A Gerald Jay Sussman X%T LISP, Programming and Implementation X%B Functional Programming and its Applications X%E Darlington, Henderson, Turner X%I Cambridge University Press X%C London X%D 1982 X X%A Pee Hong Chen X%A W.Y. Chi X%A E.M. Ost X%A L.D. Sabbagh X%A G. Springer X%T Scheme Graphics Reference Manual X%R Computer Science Technical Report No. 145 X%I Indiana University X%C Bloomington, Indiana X%D August 1983 X X%A Pee Hong Chen X%A Daniel P. Friedman X%T Prototyping data flow by translation into Scheme X%R Computer Science Technical Report #147 X%I Indiana University X%C Bloomington, Indiana X%D August 1983 X X%A Carol Fessenden X%A William Clinger X%A Daniel P. Friedman X%A Christopher T. Haynes X%T Scheme 311 version 4 Reference Manual X%R Computer Science Technical Report 137 X%I Indiana University X%C Bloomington, Indiana X%D February 1983 X%O Superceded by Computer Science Technical Report 153, 1985 X X%A William Clinger X%T The Scheme 311 compiler: An Exercise in Denotational Semantics X%J Conference Record of the 1984 ACM Symposium on Lisp and XFunctional Programming X%P 356-364 X%D 1984 X%K comp311 X X%A Daniel P. Friedman X%A Christopher T. Haynes X%A Eugene E. Kohlbecker X%T Programming with Continuations X%B Program Transformation and Programming Environments X%P 263-274 X%E P. Pepper X%I Springer-Verlag X%D 1984 X X%A Christopher T. Haynes X%A Daniel P. Friedman X%T Engines Build Process Abstractions X%J Conference Record of the 1984 ACM Symposium on Lisp and XFunctional Programming X%C Austin, TX. X%P 18-24 X%D 1984 X X%A Christopher T. Haynes X%A Daniel P. Friedman X%A Mitchell Wand X%T Continuations and Coroutines X%J Conference Record of the 1984 ACM Symposium on Lisp and XFunctional Programming X%C Austin, TX. X%P 293-298 X%D 1984 X X%A Daniel P. Friedman X%A Mitchell Wand X%T Reification: reflection without metaphysics X%J Conference Record of the 1984 ACM Symposium on LISP and Functional XProgramming X%C Austin, TX. X%P 348-355 X%D August 1984 X X%A Jonathan A. Rees X%A Norman I. Adams X%A James R. Meehan X%T The T manual, fourth edition X%I Yale University Computer Science Department X%D January 1984 X X%A Guillermo J. Rozas X%T Liar, an Algol-like Compiler for Scheme X%I S. B. Thesis, MIT Department of Electrical Engineering and Computer XScience X%D January 1984 X X%T MIT Scheme Manual, Seventh Edition X%I Department of Electrical Engineering and Computer Science, MIT X%C Cambridge, Mass. X%D September 1984 X X%T MacScheme Reference Manual X%I Semantic Microsystems X%C Sausalito, Calif. X%D 1985 X X%A Harold Abelson X%A Gerald Jay Sussman X%A Julie Sussman X%T Structure and Interpretation of Computer Programs X%I MIT Press X%C Cambridge, Mass. X%D 1985 X%K sicp X X%A William Clinger X%A Daniel P. Friedman X%A Mitchell Wand X%T A Scheme for a Higher-Level Semantic Algebra X%B Algebraic Methods in Semantics X%E J. Reynolds, M. Nivat X%P 237-250 X%I Cambridge University Press X%C London X%D 1985 X X%A Amitabh Srivastava X%A Don Oxley X%A Aditya Srivastava X%T An (other) Integration of Logic and Functional Programming X%J Proceedings of the Symposium on Logic Programming X%P 254-260 X%I IEEE X%D 1985 X X%E William Clinger X%T The Revised Revised Report on Scheme, or An Uncommon Lisp X%R MIT Artificial Intelligence Memo 848 X%C Cambridge, Mass. X%O Also published as Computer Science Department Technical Report 174, XIndiana University, June 1985 X%D August 1985 X%K rrrs X X%A Daniel P. Friedman X%A Christopher T. Haynes X%T Constraining Control X%J Proceedings of the Twelfth Annual Symposium on Principles of XProgramming Languages X%C New Orleans, LA. X%P 245-254 X%I ACM X%D January 1985 X X%A Daniel P. Friedman X%A Christopher T. Haynes X%A Eugene E. Kohlbecker X%A Mitchell Wand X%T Scheme 84 Interim Reference Manual X%R Computer Science Technical Report 153 X%I Indiana University X%C Bloomington, Indiana X%D January 1985 X%K scheme84 X X%A Peehong Chen X%A L. David Sabbagh X%T Scheme as an Interactive Graphics Programming Environment X%R Computer Science Technical Report No. 166 X%I Indiana University X%C Bloomington, Indiana X%D March 1985 X X%T TI Scheme Language Reference Manual X%I Texas Instruments, Inc. X%O Preliminary version 1.0 X%D November 1985 X X%A Michael A. Eisenberg X%T Bochser: An Integrated Scheme Programming System X%R MIT Computer Science Technical Report 349 X%C Cambridge, Mass. X%D October 1985 X%K bochser X X%T Transliterating Prolog into Scheme X%A Matthias Felleisen X%R Computer Science Technical Report #182 X%I Indiana University X%C Bloomington, Indiana X%D October 1985 X X%A David H. Bartley X%A John C. Jensen X%T The Implementation of PC Scheme X%J Proceedings of the 1986 ACM Conference on Lisp Xand Functional Programming X%P 86-93 X%D 1986 X%K pcscheme X X%A R. Kent Dybvig X%A Daniel P. Friedman X%A Christopher T. Haynes X%T Expansion-Passing style: Beyond Conventional Macros X%J Proceedings of the 1986 ACM Conference on Lisp and XFunctional Programming X%P 143-150 X%D 1986 X X%A Marc Feeley X%A Guy LaPalme X%T Closure Generation based on viewing LAMBDA as EPSILON plus COMPILE X%O Submitted for Publication X%D 1986 X X%A Matthias Felleisen X%A Daniel P. Friedman X%T A Closer Look At Export and Import Statements X%J Journal of Computer Languages X%V 11 X%N 1 X%P 29-37 X%I Pergamon Press X%D 1986 X X%A Daniel P. Friedman X%A Matthias Felleisen X%T The Little LISPer: Second Edition X%I Science Research Associates, Inc. X%C Palo Alto, California X%D 1986 X X%A Christopher T. Haynes X%A Daniel P. Friedman X%A Mitchell Wand X%T Obtaining Coroutines With Continuations X%J Journal of Computer Languages X%V 11 X%N 3/4 X%P 143-153 X%I Pergamon Press X%D 1986 X X%A Mitchell Wand X%T Finding the Source of Type Errors X%J Conference Record of the Thirteenth Annual Symposium on XPrinciples of Programming Languages X%P 38-43 X%I ACM X%C St. Peterburg, Fla. X%D 1986 X X%A Mitchell Wand X%T From Interpreter to Compiler: A Representational Derivation X%B Programs as Data Objects X%I Springer-Verlag Lecture Notes X%D 1986 X X%A Matthias Felleisen X%A Daniel P. Friedman X%T Control operators, the SECD-machine, and the lambda-calculus X%J 3rd Working Conference on the Formal Description of XProgramming Concepts X%C Ebberup, Denmark X%P 193-219 X%D August 1986 X X%A Eugene E. Kohlbecker X%T Syntactic Extensions in the Programming Language Lisp X%R Computer Science Technical Report #199 (PhD Dissertation) X%I Indiana University X%C Bloomington, Indiana X%D August 1986 X X%A Eugene E. Kohlbecker X%A Daniel P. Friedman X%A Matthias Felleisen X%A Bruce Duba X%T Hygienic macro expansion X%J Symposium on LISP and Functional Programming X%P 151-161 X%D August 1986 X%O To appear in Lisp and Symbolic Computation X X%A Mitchell Wand X%T The mystery of the tower revealed: a non-reflective Xdescription of the reflective tower X%J Proceedings of the 1986 ACM Symposium on LISP and Functional Programming X%P 298-307 X%D August 1986 X X%E Jonathan A. Rees X%E William Clinger X%T Revised^3 Report on the Algorithmic Language Scheme X%J ACM Sigplan Notices X%V 21 X%N 12 X%D December 1986 X X%A Christopher T. Haynes X%T Logic Continuations X%J Proceedings of the Third International Conference on XLogic Programming X%P 671-685 X%I Springer-Verlag X%D Jul 1986 X X%A Matthias Felleisen X%A Daniel P. Friedman X%A Eugene E. Kohlbecker X%A Bruce Duba X%T Reasoning with Continuations X%J Proceedings of the Symposium on Logic in Computer Science X%P 131-141 X%I IEEE Computer Society Press X%C Washigton DC X%D June 1986 X X%A David Kranz X%A Richard Kelsey X%A Jonathan A. Rees X%A Paul Hudak X%A James Philbin X%A Norman I. Adams X%T Orbit: An Optimizing Compiler for Scheme X%J Proceedings of the SIGPLAN '86 Symposium on Compiler XConstruction X%P 219-233 X%I ACM X%O Published as SIGPLAN Notices 21(7), July 1986 X%D June 1986 X%K orbit X X%A Marc Feeley X%T Deux Approches a' L'implantation du Language Scheme X%I M.Sc. Thesis, De'partement d'Informatique et de Recherche XOpe'rationelle, University of Montreal X%D May 1986 X X%A R. Kent Dybvig X%T The Scheme Programming Language X%I Prentice-Hall, Inc. X%C Englewood Cliffs, New Jersey X%D 1987 X%K splang X X%A Marc Feeley X%A Guy LaPalme X%T Using Cloures for Code Generation X%J Journal of Computer Languages X%V 12 X%N 1 X%P 47-66 X%I Pergamon Press X%D 1987 X X%A Matthias Felleisen X%T Reflections on Landin's J-Operator: A Partly Historical Note X%J Journal of Computer Languages X%V 12 X%N 3/4 X%P 197-207 X%I Pergamon Press X%D 1987 X X%A Matthias Felleisen X%A Daniel P. Friedman X%T A Reduction Semantics for Imperative Higher-Order Languages X%J Parallel Architectures and Languages Europe X%E De Bakker, Nijman and Treleaven X%B Lecture Notes in Computer Science X%V 259 X%I Springer-Verlag X%C Berlin X%P 206-223 X%D 1987 X X%T A syntactic theory of sequential control X%A Matthias Felleisen X%A Daniel P. Friedman X%A Eugene E. Kohlbecker X%A Bruce Duba X%J Theoretical Computer Science X%V 52 X%P 205-237 X%D 1987 X X%A Daniel P. Friedman X%A Matthias Felleisen X%T The Little LISPer X%I MIT Press X%D 1987 X%O Trade Edition X%K littlelisper X X%A Christopher T. Haynes X%A Daniel P. Friedman X%T Abstracting Timed Preemption with Engines X%J Journal of Computer Languages X%V 12 X%N 2 X%P 109-121 X%I Pergamon Press X%D 1987 X X%A Matthias Felleisen X%T The Calculi of lambda-v-cs conversion: a syntactic Xtheory of control and state in imperative higher-order programming Xlanguages X%R Computer Science Technical Report #226. (PhD Dissertation) X%I Indiana University X%C Bloomington, Indiana X%D August 1987 X X%A Matthias Felleisen X%A Daniel P. Friedman X%A Bruce Duba X%A John Merrill X%T Beyond Continuations X%R Computer Science Dept. Technical Report #216 X%I Indiana University X%C Bloomington, Indiana X%D February, 1987 X X%A Matthias Felleisen X%A Daniel P. Friedman X%T A calculus for assignments in higher-order languages X%J Conference Record of the 14th Annual ACM Symposium on Principles of XProgramming Languages X%C Munich, West Germany X%P 314-345 X%D January 1987 X X%A Matthias Felleisen X%A Daniel P. Friedman X%T A Syntactic Theory of Sequential State X%R Computer Science Dept. Technical Report #230 X%I Indiana University X%C Bloomington, Indiana X%D October 1987 X X%T Embedding continuations in procedural objects X%A Christopher T. Haynes X%A Daniel P. Friedman X%J ACM Transactions on Programming Languages and Systems X%V 9 X%N 4 X%P 582-598 X%D October 1987 X X%A Michael Eisenberg X%T Programming In Scheme X%E Harold Abelson X%I Scientific Press X%C Redwood City, CA X%D 1988 X X%A Mitchell Wand X%A Daniel P. Friedman X%T The Mystery of the Tower Revealed: A Non-Reflective XDescription of the Reflective Tower X%B Meta-Level Architectures and Reflection X%E P. Maes and D. Nardi X%I Elsevier Sci. Publishers B.V. (North Holland) X%P 111-134 X%D 1988 X%O Also to appear in Lisp and Symbolic Computation X X%A Daniel P. Friedman X%A Mitchell Wand X%A Christopher T. Haynes X%A Eugene E. Kohlbecker X%T Programming Languages: Their Abstractions, Representations, Xand Implementations X%I M.I.T. Press and McGraw Hill X%D 1988-1989 X%O in progress X X%A George Springer X%A Daniel P. Friedman X%T An Introduction to the Art of Programming in Scheme X%D 1988-1989 X%O in progress X X%A Harold Abelson X%A Gerald Jay Sussman X%T Lisp: A Langauge for Stratified Design X%J BYTE X%D February 1988 X%P 207-218 X X%A William Clinger X%T Semantics of Scheme X%J BYTE X%D February 1988 X%P 221-227 X X%A Alan Bawden X%A Jonathan Rees X%T Syntactic Closures X%J Proceedings of the 1988 ACM Symposium on LISP Xand Functional Programming X%C Salt Lake City, Utah. X%D July 1988 X X%A Matthias Felleisen X%A Mitchell Wand X%A Daniel P. Friedman X%A Bruce Duba X%T Abstract Continuations: A Mathematical Semantics for XHandling Functional Jumps X%J Proceedings of the 1988 ACM Symposium on LISP Xand Functional Programming X%C Salt Lake City, Utah. X%D July 1988 X X%A John Franco X%A Daniel P. Friedman X%T Creating Efficient Programs by Exchanging Data for Procedures X%R Computer Science Technical Report #245 X%I Indiana University X%C Bloomington, Indiana X%D March 1988 X X%A Mitchell Wand X%A Daniel P. Friedman X%T Compiling lambda expressions using continuations and Xfactorizations X%J Computer Languages 3 X%D 241-263 X%D 1978 END_OF_FILE if test 15607 -ne `wc -c <'scheme.bib'`; then echo shar: \"'scheme.bib'\" unpacked with wrong size! fi # end of 'scheme.bib' fi if test -f 'scheme.bibtex' -a "${1}" != "-c" ; then echo shar: Will not clobber existing file \"'scheme.bibtex'\" else echo shar: Extracting \"'scheme.bibtex'\" \(20265 characters\) sed "s/^X//" >'scheme.bibtex' <<'END_OF_FILE' X@article{key1, X author = "John Reynolds", X year = "1972", X publisher = "ACM", X journal = "ACM Conference Proceedings", X pages = "717-740", X title = "Definitional Interpreters for Higher Order Programming Languages" X} X X@techreport{key2, X author = "Gerald Jay Sussman and Guy Lewis Steele, Jr.", X address = "Cambridge, Mass.", X year = "December 1975", X title = "Scheme: an Interpreter for Extended Lambda Calculus" X} X X@techreport{imperative, X author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman", X address = "Cambridge, Mass.", X year = "March 1976", X title = "Lambda, the Ultimate Imperative" X} X X@techreport{declarative, X author = "Guy Lewis Steele, Jr.", X address = "Cambridge, Mass.", X year = "November 1976", X title = "Lambda, the Ultimate Declarative" X} X X@article{key5, X author = "Guy Lewis Steele, Jr.", X year = "1977", X publisher = "ACM", X journal = "ACM Conference Proceedings", X pages = "153-162", X title = "Debunking the ``Expensive Procedure Call'' Myth, or Procedure Call Implementations Considered Harmful, or LAMBDA, the Ultimate GOTO" X} X X@article{key6, X author = "Guy Lewis Steele, Jr.", X year = "August 1977", X journal = "Proceedings of the Symposium on Artificial Intelligence and Programming Languages", X pages = "60-66", X title = "Macaroni is Better than Spaghetti" X} X X@article{key7, X author = "Mitchell Wand", X year = "1978", X journal = "Journal of the ACM", X number = "1", X pages = "174-180", X title = "Continuation-Based Program Transformation Strategies", X volume = "27" X} X X@techreport{key8, X author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman", X address = "Cambridge, Mass.", X year = "January 1978", X title = "The Revised Report on Scheme, a Dialect of Lisp" X} X X@techreport{key9, X author = "Guy Lewis Steele, Jr.", X address = "Cambridge, Mass.", X year = "May 1978", X title = "Rabbit: a Compiler for Scheme" X} X X@techreport{modularity, X author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman", X address = "Cambridge, Mass.", X year = "May 1978", X title = "The Art of the Interpreter, or the Modularity Complex (parts zero, one, and two)" X} X X@article{key11, X author = "Drew McDermott", X year = "1980", X publisher = "The Lisp Conference, P.O. Box 487, Redwood Estates CA.", X journal = "Conference Record of the 1980 Lisp Conference", X pages = "154-162", X title = "An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped Lisp" X} X X@article{key12, X author = "Steven S. Muchnick and Uwe F. Pleban", X year = "1980", X publisher = "The Lisp Conference, P.O. Box 487, Redwood Estates CA.", X journal = "Conference Record of the 1980 Lisp Conference", X pages = "56-65", X title = "A Semantic Comparison of Lisp and Scheme" X} X X@book{key13, X author = "Guy Lewis Steele, Jr.", X booktitle = "AI: An MIT Perspective", X address = "Cambridge, Mass.", X year = "1980", X editor = "Patrick Henry Winston Richard Henry Brown", X publisher = "MIT Press", X title = "Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO" X} X X@article{key14, X author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman", X year = "1980", X publisher = "The Lisp Conference", X journal = "Conference Record of the 1980 Lisp Conference", X pages = "163-172", X title = "The Dream of a Lifetime: a Lazy Variable Extent Mechanism" X} X X@article{key15, X author = "Mitchell Wand", X year = "1980", X publisher = "The Lisp Conference", X journal = "Conference Record of the 1980 Lisp Conference", X pages = "19-28", X title = "Continuation-Based Multiprocessing" X} X X@article{key16, X author = "Guy Lewis Steele, Jr. and Gerald Jay Sussman", X year = "November 1980", X journal = "CACM", X number = "11", X pages = "628-645", X title = "Design of a Lisp-based Processor", X volume = "23" X} X X@article{key17, X author = "Gerald Jay Sussman and Jack Holloway and Guy Lewis Steele, Jr. and Alan Bell", X year = "July 1981", X publisher = "IEEE", X journal = "IEEE Computer", X number = "7", X pages = "10-21", X title = "Scheme-79 - Lisp on a Chip", X volume = "14" X} X X@article{scheme81, X author = "John Batali and Edmund Goodhue and Chris Hanson and Howie Shrobe and Richard M. Stallman and Gerald Jay Sussman", X address = "Artech House, Dedham MA.", X year = "1982", X editor = "Paul Penfield, Jr.", X journal = "Proceedings, Conference on Advanced Research in VLSI", X pages = "69-77", X title = "The Scheme-81 Architecture - System and Chip" X} X X@article{key19, X author = "Peter Henderson", X year = "1982", X journal = "Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming", X pages = "179-187", X title = "Functional Geometry" X} X X@article{key20, X author = "Jonathan A. Rees and Norman I. Adams", X year = "1982", X journal = "Conference Record of the 1982 ACM Symposium on Lisp and Functional Programming", X pages = "114-122", X title = "T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool" X} X X@book{key21, X author = "Gerald Jay Sussman", X booktitle = "Functional Programming and its Applications", X address = "London", X year = "1982", X editor = "Darlington, Henderson, Turner", X publisher = "Cambridge University Press", X title = "LISP, Programming and Implementation" X} X X@techreport{key22, X author = "Pee Hong Chen and W.Y. Chi and E.M. Ost and L.D. Sabbagh and G. Springer", X address = "Bloomington, Indiana", X year = "August 1983", X publisher = "Indiana University", X title = "Scheme Graphics Reference Manual" X} X X@techreport{key23, X author = "Pee Hong Chen and Daniel P. Friedman", X address = "Bloomington, Indiana", X year = "August 1983", X publisher = "Indiana University", X title = "Prototyping data flow by translation into Scheme" X} X X@techreport{key24, X author = "Carol Fessenden and William Clinger and Daniel P. Friedman and Christopher T. Haynes", X address = "Bloomington, Indiana", X year = "February 1983", X publisher = "Indiana University", X title = "Scheme 311 version 4 Reference Manual" X} X X@article{comp311, X author = "William Clinger", X year = "1984", X journal = "Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming", X pages = "356-364", X title = "The Scheme 311 compiler: An Exercise in Denotational Semantics" X} X X@book{key26, X author = "Daniel P. Friedman and Christopher T. Haynes and Eugene E. Kohlbecker", X booktitle = "Program Transformation and Programming Environments", X year = "1984", X editor = "P. Pepper", X publisher = "Springer-Verlag", X pages = "263-274", X title = "Programming with Continuations" X} X X@article{key27, X author = "Christopher T. Haynes and Daniel P. Friedman", X address = "Austin, TX.", X year = "1984", X journal = "Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming", X pages = "18-24", X title = "Engines Build Process Abstractions" X} X X@article{key28, X author = "Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand", X address = "Austin, TX.", X year = "1984", X journal = "Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming", X pages = "293-298", X title = "Continuations and Coroutines" X} X X@article{key29, X author = "Daniel P. Friedman and Mitchell Wand", X address = "Austin, TX.", X year = "August 1984", X journal = "Conference Record of the 1984 ACM Symposium on LISP and Functional Programming", X pages = "348-355", X title = "Reification: reflection without metaphysics" X} X X@book{key30, X author = "Jonathan A. Rees and Norman I. Adams and James R. Meehan", X year = "January 1984", X publisher = "Yale University Computer Science Department", X title = "The T manual, fourth edition" X} X X@book{key31, X author = "Guillermo J. Rozas", X year = "January 1984", X publisher = "S. B. Thesis, MIT Department of Electrical Engineering and Computer Science", X title = "Liar, an Algol-like Compiler for Scheme" X} X X@book{key32, X address = "Cambridge, Mass.", X year = "September 1984", X publisher = "Department of Electrical Engineering and Computer Science, MIT", X title = "MIT Scheme Manual, Seventh Edition" X} X X@book{key33, X address = "Sausalito, Calif.", X year = "1985", X publisher = "Semantic Microsystems", X title = "MacScheme Reference Manual" X} X X@book{sicp, X author = "Harold Abelson and Gerald Jay Sussman and Julie Sussman", X address = "Cambridge, Mass.", X year = "1985", X publisher = "MIT Press", X title = "Structure and Interpretation of Computer Programs" X} X X@book{key35, X author = "William Clinger and Daniel P. Friedman and Mitchell Wand", X booktitle = "Algebraic Methods in Semantics", X address = "London", X year = "1985", X editor = "J. Reynolds, M. Nivat", X publisher = "Cambridge University Press", X pages = "237-250", X title = "A Scheme for a Higher-Level Semantic Algebra" X} X X@article{key36, X author = "Amitabh Srivastava and Don Oxley and Aditya Srivastava", X year = "1985", X publisher = "IEEE", X journal = "Proceedings of the Symposium on Logic Programming", X pages = "254-260", X title = "An (other) Integration of Logic and Functional Programming" X} X X@techreport{rrrs, X address = "Cambridge, Mass.", X year = "August 1985", X editor = "William Clinger", X title = "The Revised Revised Report on Scheme, or An Uncommon Lisp" X} X X@article{key38, X author = "Daniel P. Friedman and Christopher T. Haynes", X address = "New Orleans, LA.", X year = "January 1985", X publisher = "ACM", X journal = "Proceedings of the Twelfth Annual Symposium on Principles of Programming Languages", X pages = "245-254", X title = "Constraining Control" X} X X@techreport{scheme84, X author = "Daniel P. Friedman and Christopher T. Haynes and Eugene E. Kohlbecker and Mitchell Wand", X address = "Bloomington, Indiana", X year = "January 1985", X publisher = "Indiana University", X title = "Scheme 84 Interim Reference Manual" X} X X@techreport{key40, X author = "Peehong Chen and L. David Sabbagh", X address = "Bloomington, Indiana", X year = "March 1985", X publisher = "Indiana University", X title = "Scheme as an Interactive Graphics Programming Environment" X} X X@book{key41, X year = "November 1985", X publisher = "Texas Instruments, Inc.", X title = "TI Scheme Language Reference Manual" X} X X@techreport{bochser, X author = "Michael A. Eisenberg", X address = "Cambridge, Mass.", X year = "October 1985", X title = "Bochser: An Integrated Scheme Programming System" X} X X@techreport{key43, X author = "Matthias Felleisen", X address = "Bloomington, Indiana", X year = "October 1985", X publisher = "Indiana University", X title = "Transliterating Prolog into Scheme" X} X X@article{pcscheme, X author = "David H. Bartley and John C. Jensen", X year = "1986", X journal = "Proceedings of the 1986 ACM Conference on Lisp and Functional Programming", X pages = "86-93", X title = "The Implementation of PC Scheme" X} X X@article{key45, X author = "R. Kent Dybvig and Daniel P. Friedman and Christopher T. Haynes", X year = "1986", X journal = "Proceedings of the 1986 ACM Conference on Lisp and Functional Programming", X pages = "143-150", X title = "Expansion-Passing style: Beyond Conventional Macros" X} X X@misc{key46, X author = "Marc Feeley and Guy LaPalme", X year = "1986", X title = "Closure Generation based on viewing LAMBDA as EPSILON plus COMPILE" X} X X@article{key47, X author = "Matthias Felleisen and Daniel P. Friedman", X year = "1986", X publisher = "Pergamon Press", X journal = "Journal of Computer Languages", X number = "1", X pages = "29-37", X title = "A Closer Look At Export and Import Statements", X volume = "11" X} X X@book{key48, X author = "Daniel P. Friedman and Matthias Felleisen", X address = "Palo Alto, California", X year = "1986", X publisher = "Science Research Associates, Inc.", X title = "The Little LISPer: Second Edition" X} X X@article{key49, X author = "Christopher T. Haynes and Daniel P. Friedman and Mitchell Wand", X year = "1986", X publisher = "Pergamon Press", X journal = "Journal of Computer Languages", X number = "3/4", X pages = "143-153", X title = "Obtaining Coroutines With Continuations", X volume = "11" X} X X@article{key50, X author = "Mitchell Wand", X address = "St. Peterburg, Fla.", X year = "1986", X publisher = "ACM", X journal = "Conference Record of the Thirteenth Annual Symposium on Principles of Programming Languages", X pages = "38-43", X title = "Finding the Source of Type Errors" X} X X@book{key51, X author = "Mitchell Wand", X booktitle = "Programs as Data Objects", X year = "1986", X publisher = "Springer-Verlag Lecture Notes", X title = "From Interpreter to Compiler: A Representational Derivation" X} X X@article{key52, X author = "Matthias Felleisen and Daniel P. Friedman", X address = "Ebberup, Denmark", X year = "August 1986", X journal = "3rd Working Conference on the Formal Description of Programming Concepts", X pages = "193-219", X title = "Control operators, the SECD-machine, and the lambda-calculus" X} X X@techreport{key53, X author = "Eugene E. Kohlbecker", X address = "Bloomington, Indiana", X year = "August 1986", X publisher = "Indiana University", X title = "Syntactic Extensions in the Programming Language Lisp" X} X X@article{key54, X author = "Eugene E. Kohlbecker and Daniel P. Friedman and Matthias Felleisen and Bruce Duba", X year = "August 1986", X journal = "Symposium on LISP and Functional Programming", X pages = "151-161", X title = "Hygienic macro expansion" X} X X@article{key55, X author = "Mitchell Wand", X year = "August 1986", X journal = "Proceedings of the 1986 ACM Symposium on LISP and Functional Programming", X pages = "298-307", X title = "The mystery of the tower revealed: a non-reflective description of the reflective tower" X} X X@article{key56, X year = "December 1986", X editor = "Jonathan A. Rees William Clinger", X journal = "ACM Sigplan Notices", X number = "12", X title = "Revised^3 Report on the Algorithmic Language Scheme", X volume = "21" X} X X@article{key57, X author = "Christopher T. Haynes", X year = "Jul 1986", X publisher = "Springer-Verlag", X journal = "Proceedings of the Third International Conference on Logic Programming", X pages = "671-685", X title = "Logic Continuations" X} X X@article{key58, X author = "Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce Duba", X address = "Washigton DC", X year = "June 1986", X publisher = "IEEE Computer Society Press", X journal = "Proceedings of the Symposium on Logic in Computer Science", X pages = "131-141", X title = "Reasoning with Continuations" X} X X@article{orbit, X author = "David Kranz and Richard Kelsey and Jonathan A. Rees and Paul Hudak and James Philbin and Norman I. Adams", X year = "June 1986", X publisher = "ACM", X journal = "Proceedings of the SIGPLAN '86 Symposium on Compiler Construction", X pages = "219-233", X title = "Orbit: An Optimizing Compiler for Scheme" X} X X@book{key60, X author = "Marc Feeley", X year = "May 1986", X publisher = "M.Sc. Thesis, De'partement d'Informatique et de Recherche Ope'rationelle, University of Montreal", X title = "Deux Approches a' L'implantation du Language Scheme" X} X X@book{splang, X author = "R. Kent Dybvig", X address = "Englewood Cliffs, New Jersey", X year = "1987", X publisher = "Prentice-Hall, Inc.", X title = "The Scheme Programming Language" X} X X@article{key62, X author = "Marc Feeley and Guy LaPalme", X year = "1987", X publisher = "Pergamon Press", X journal = "Journal of Computer Languages", X number = "1", X pages = "47-66", X title = "Using Cloures for Code Generation", X volume = "12" X} X X@article{key63, X author = "Matthias Felleisen", X year = "1987", X publisher = "Pergamon Press", X journal = "Journal of Computer Languages", X number = "3/4", X pages = "197-207", X title = "Reflections on Landin's J-Operator: A Partly Historical Note", X volume = "12" X} X X@article{key64, X author = "Matthias Felleisen and Daniel P. Friedman", X booktitle = "Lecture Notes in Computer Science", X address = "Berlin", X year = "1987", X editor = "De Bakker, Nijman and Treleaven", X publisher = "Springer-Verlag", X journal = "Parallel Architectures and Languages Europe", X pages = "206-223", X title = "A Reduction Semantics for Imperative Higher-Order Languages", X volume = "259" X} X X@article{key65, X author = "Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce Duba", X year = "1987", X journal = "Theoretical Computer Science", X pages = "205-237", X title = "A syntactic theory of sequential control", X volume = "52" X} X X@book{littlelisper, X author = "Daniel P. Friedman and Matthias Felleisen", X year = "1987", X publisher = "MIT Press", X title = "The Little LISPer" X} X X@article{key67, X author = "Christopher T. Haynes and Daniel P. Friedman", X year = "1987", X publisher = "Pergamon Press", X journal = "Journal of Computer Languages", X number = "2", X pages = "109-121", X title = "Abstracting Timed Preemption with Engines", X volume = "12" X} X X@techreport{key68, X author = "Matthias Felleisen", X address = "Bloomington, Indiana", X year = "August 1987", X publisher = "Indiana University", X title = "The Calculi of lambda-v-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages" X} X X@techreport{key69, X author = "Matthias Felleisen and Daniel P. Friedman and Bruce Duba and John Merrill", X address = "Bloomington, Indiana", X year = "February, 1987", X publisher = "Indiana University", X title = "Beyond Continuations" X} X X@article{key70, X author = "Matthias Felleisen and Daniel P. Friedman", X address = "Munich, West Germany", X year = "January 1987", X journal = "Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages", X pages = "314-345", X title = "A calculus for assignments in higher-order languages" X} X X@techreport{key71, X author = "Matthias Felleisen and Daniel P. Friedman", X address = "Bloomington, Indiana", X year = "October 1987", X publisher = "Indiana University", X title = "A Syntactic Theory of Sequential State" X} X X@article{key72, X author = "Christopher T. Haynes and Daniel P. Friedman", X year = "October 1987", X journal = "ACM Transactions on Programming Languages and Systems", X number = "4", X pages = "582-598", X title = "Embedding continuations in procedural objects", X volume = "9" X} X X@book{key73, X author = "Michael Eisenberg", X address = "Redwood City, CA", X year = "1988", X editor = "Harold Abelson", X publisher = "Scientific Press", X title = "Programming In Scheme" X} X X@book{key74, X author = "Mitchell Wand and Daniel P. Friedman", X booktitle = "Meta-Level Architectures and Reflection", X year = "1988", X editor = "P. Maes and D. Nardi", X publisher = "Elsevier Sci. Publishers B.V. (North Holland)", X pages = "111-134", X title = "The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower" X} X X@book{key75, X author = "Daniel P. Friedman and Mitchell Wand and Christopher T. Haynes and Eugene E. Kohlbecker", X year = "1988-1989", X publisher = "M.I.T. Press and McGraw Hill", X title = "Programming Languages: Their Abstractions, Representations, and Implementations" X} X X@misc{key76, X author = "George Springer and Daniel P. Friedman", X year = "1988-1989", X title = "An Introduction to the Art of Programming in Scheme" X} X X@article{key77, X author = "Harold Abelson and Gerald Jay Sussman", X year = "February 1988", X journal = "BYTE", X pages = "207-218", X title = "Lisp: A Langauge for Stratified Design" X} X X@article{key78, X author = "William Clinger", X year = "February 1988", X journal = "BYTE", X pages = "221-227", X title = "Semantics of Scheme" X} X X@article{key79, X author = "Alan Bawden and Jonathan Rees", X address = "Salt Lake City, Utah.", X year = "July 1988", X journal = "Proceedings of the 1988 ACM Symposium on LISP and Functional Programming", X title = "Syntactic Closures" X} X X@article{key80, X author = "Matthias Felleisen and Mitchell Wand and Daniel P. Friedman and Bruce Duba", X address = "Salt Lake City, Utah.", X year = "July 1988", X journal = "Proceedings of the 1988 ACM Symposium on LISP and Functional Programming", X title = "Abstract Continuations: A Mathematical Semantics for Handling Functional Jumps" X} X X@techreport{key81, X author = "John Franco and Daniel P. Friedman", X address = "Bloomington, Indiana", X year = "March 1988", X publisher = "Indiana University", X title = "Creating Efficient Programs by Exchanging Data for Procedures" X} X X@article{key82, X author = "Mitchell Wand and Daniel P. Friedman", X year = "241-263 1978", X journal = "Computer Languages 3", X title = "Compiling lambda expressions using continuations and factorizations" X} X END_OF_FILE if test 20265 -ne `wc -c <'scheme.bibtex'`; then echo shar: \"'scheme.bibtex'\" unpacked with wrong size! fi # end of 'scheme.bibtex' fi echo shar: End of shell archive. exit 0 -- Crud that is not paged | Usenet: ...!utzoo!yunexus!oz is still crud. | ...uunet!mnetor!yunexus!oz andrew@alice | Bitnet: oz@[yulibra|yuyetti] | Phonet: +1 416 736-5257x3976