[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Bibliography database
Our site has been disconnected from the net for a few days, so I don't
know if this kind of thing has already been posted.
Here is the bibliography database posted some time ago by (apologies,
I've lost the header of the transaction !), converted into the BibTeX
format. The entries are sorted in alphabetical order, and then in
chronological order. The field KEYWORD is of my own and can be ignored.
Some entries are not complete and are followed by the unknown fields as
comments. I've added two entries (steele79, greussay84) to the database.
I would be very pleased to receive your eventual corrections, new entries
or any comments.
Thanx in advance.
---- cut here ---- cut here ---- cut here ---- cut here ---- cut here ----
% ---- ABBREVIATIONS
@string{ail = "Artificial Intelligence Laboratory, MIT"}
@string{aim = "AI Memo"}
@string{at = "Austin, Texas"}
@string{cacm = "Communications of the ACM"}
@string{cm = "Cambridge, Massachusetts"}
@string{jacm = "Journal of the ACM"}
@string{lc80 = "Conference Record of the 1980 Lisp Conference"}
@string{mitp = "MIT Press"}
@string{pp = "Pittsburgh, Pennsylvania"}
@string{sv = "Springer-Verlag"}
@string{slfp82 = "Proceedings of the 1982 ACM Conference
on Lisp and Functional Programming"}
@string{slfp84 = "Proceedings of the 1984 ACM Conference
on Lisp and Functional Programming"}
@string{slfp86 = "Proceedings of the 1986 ACM Conference
on Lisp and Functional Programming"}
% ---- DATABASE
% ---- aaaa
@BOOK{abelson85,
AUTHOR = {H. Abelson and G.J. Sussman and J. Sussman},
TITLE = {{Structure and Interpretation of Computer Programs}},
PUBLISHER = mitp,
ADDRESS = cm,
YEAR = 1985,
KEYWORDS = {scheme}}
% ---- bbbb
@INPROCEEDINGS{bartley86,
AUTHOR = {D.H. Bartley and J.C. Jensen},
TITLE = {{The Implementation of PC Scheme}},
BOOKTITLE = slfp86,
YEAR = 1986,
PAGES = {86--93},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@INPROCEEDINGS{batali82,
AUTHOR = {J. Batali and E. Goodhue and C. Hanson and H. Shrobe
and R.M. Stallman and G.J. Sussman},
TITLE = {{The Scheme-81 Architecture --- System and Chip}},
BOOKTITLE = {{Proceedings of the Conference on Advanced Research in VLSI}},
YEAR = 1982,
PAGES = {69--77},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
% ---- cccc
@INPROCEEDINGS{clinger84,
AUTHOR = {W. Clinger},
TITLE = {{The Scheme 311 Compiler: An Exercise in Denotational Semantics}},
BOOKTITLE = slfp84,
ADDRESS = at,
YEAR = 1984,
PAGES = {356--364},
KEYWORDS = {scheme}}
@TECHREPORT{clinger85,
AUTHOR = {W. Clinger},
TITLE = {{The Revised Revised Report on Scheme, or An Uncommon Lisp}},
TYPE = aim,
NUMBER = 848,
INSTITUTION = ail,
ADDRESS = cm,
YEAR = 1985,
KEYWORDS = {scheme}}
@TECHREPORT{clinger85a,
AUTHOR = {W. Clinger},
TITLE = {{The Revised Revised Report on Scheme, or An Uncommon Lisp}},
NUMBER = 174,
INSTITUTION = {Computer Science Department, Indiana University},
YEAR = 1985,
KEYWORDS = {scheme}}
% ---- dddd
@INPROCEEDINGS{dybvig86,
AUTHOR = {R.K. Dybvig and D.P. Friedman and C.T. Haynes},
TITLE = {{Expansion-Passing Style: Beyond Conventional Macros}},
BOOKTITLE = slfp86,
YEAR = 1986,
PAGES = {143--150},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@BOOK{dybvig87,
AUTHOR = {R.K. Dybvig},
TITLE = {{The Scheme Programming Language}},
PUBLISHER = {Prentice-Hall},
ADDRESS = {Englewood Cliffs, New Jersey},
YEAR = 1987,
KEYWORDS = {scheme}}
% ---- eeee
@TECHREPORT{eisenberg85,
AUTHOR = {M.A. Eisenberg},
TITLE = {{Bochser: An Integrated Scheme Programming System}},
NUMBER = 349,
INSTITUTION = {MIT},
ADDRESS = cm,
YEAR = 1985,
KEYWORDS = {scheme}}
% ---- ffff
@MISC{feeley86,
AUTHOR = {M. Feeley and G. LaPalme},
TITLE = {{Closure Generation Based on Viewing LAMBDA
as EPSILON plus COMPILE}},
YEAR = 1986,
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% HOWPUBLISHED = {},
@MASTERTHESIS{feeley86a,
AUTHOR = {M. Feeley},
TITLE = {{\it Deux approches \`{a} l'implantation du language Scheme}},
SCHOOL = {D\'{e}partement d'Informatique et de Recherche
Op\'{e}rationelle, Universit\'{e} de Montreal},
YEAR = 1986,
KEYWORDS = {scheme}}
@ARTICLE{feeley87,
AUTHOR = {M. Feeley and G. LaPalme},
TITLE = {{Using Cloures for Code Generation}},
JOURNAL = {{Computer Languages}},
VOLUME = 12,
NUMBER = 1,
YEAR = 1987,
PAGES = {47--66},
KEYWORDS = {scheme}}
@ARTICLE{felleisen86,
AUTHOR = {M. Felleisen and D.P. Friedman},
TITLE = {{A Closer Look at Export and Import Statements}},
JOURNAL = {Computer Languages},
VOLUME = 11,
NUMBER = 1,
PAGES = {29--37},
YEAR = 1986,
KEYWORDS = {scheme}}
@INPROCEEDINGS{felleisen86a,
AUTHOR = {M. Felleisen and D.P. Friedman and E.E. Kohlbecker and B. Duba},
TITLE = {{Reasoning with Continuations}},
BOOKTITLE = {Proceedings of the Symposium on Logic in Computer Science},
ADDRESS = {Washigton DC},
YEAR = 1986,
PAGES = {131--141},
KEYWORDS = {scheme}}
@TECHREPORT{fessenden83,
AUTHOR = {C. Fessenden and W. Clinger and D.P. Friedman and C.T. Haynes},
TITLE = {{Scheme 311, version 4. Reference Manual}},
TYPE = {Computer Science Technical Report},
NUMBER = 137,
INSTITUTION = {Indiana University},
YEAR = 1983,
KEYWORDS = {scheme}}
@INCOLLECTION{friedman84,
AUTHOR = {D.P. Friedman and C.T. Haynes and E.E. Kohlbecker},
TITLE = {{Programming with Continuations}},
BOOKTITLE = {{Program Transformation and Programming Environments}},
EDITOR = {P. Pepper},
PUBLISHER = sv,
YEAR = 1984,
PAGES = {263--274},
KEYWORDS = {scheme}}
@INPROCEEDINGS{friedman85,
AUTHOR = {D.P. Friedman and C.T. Haynes},
TITLE = {{Constraining Control}},
BOOKTITLE = {{Proceedings of the 12th Annual Symposium
on Principles of Programming Languages}},
YEAR = 1985,
PAGES = {245--254},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@TECHREPORT{friedman85a,
AUTHOR = {D.P. Friedman and C.T. Haynes and E.E. Kohlbecker and M. Wand},
TITLE = {{Scheme 84 Interim Reference Manual}},
NUMBER = 153,
INSTITUTION = {Computer Science Department, Indiana University},
YEAR = 1985,
KEYWORDS = {scheme}}
@BOOK{friedman87,
AUTHOR = {D.P. Friedman and M. Felleisen},
TITLE = {{The Little LISPer}},
PUBLISHER = mitp,
ADDRESS = cm,
YEAR = 1987,
KEYWORDS = {scheme}}
% ---- gggg
@INPROCEEDINGS{greussay84,
AUTHOR = {P. Greussay},
TITLE = {{Pr\'{e}sentation de SCHEME \`{a} partir d'exemples}},
BOOKTITLE = {Actes des 2\`{e}mes Journ\'{e}es d'Etude
sur les Langages Orient\'{e} Objets.
Bigre+Globule No. 41},
ADDRESS = {Brest},
YEAR = 1984,
PAGES = {5--41},
KEYWORDS = {scheme}}
% ---- hhhh
@INPROCEEDINGS{haynes84,
AUTHOR = {C.T. Haynes and D.P. Friedman},
TITLE = {{Engines Build Process Abstractions}},
BOOKTITLE = slfp84,
ADDRESS = at,
YEAR = 1984,
PAGES = {18--24},
KEYWORDS = {scheme}}
@INPROCEEDINGS{haynes84a,
AUTHOR = {C.T. Haynes and D.P. Friedman and M. Wand},
TITLE = {{Continuations and Coroutines}},
BOOKTITLE = slfp84,
ADDRESS = at,
YEAR = 1984,
PAGES = {293--298},
KEYWORDS = {scheme}}
@ARTICLE{haynes86,
AUTHOR = {C.T. Haynes and D.P. Friedman and M. Wand},
TITLE = {{Obtaining Coroutines with Continuations}},
JOURNAL = {Computer Languages},
VOLUME = 11,
NUMBER = {3--4},
YEAR = 1986,
PAGES = {143--153},
KEYWORDS = {scheme}}
@INPROCEEDINGS{haynes86a,
AUTHOR = {C.T. Haynes},
TITLE = {{Logic Continuations}},
BOOKTITLE = {{Proceedings of the 3rd International Conference
on Logic Programming}},
YEAR = 1986,
PAGES = {671--685},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@INPROCEEDINGS{henderson82,
AUTHOR = {P. Henderson},
TITLE = {{Functional Geometry}},
BOOKTITLE = slfp82,
ADDRESS = pp,
YEAR = 1982,
PAGES = {179--187},
KEYWORDS = {scheme}}
% ---- kkkk
@PHDTHESIS{kohlbecker86,
AUTHOR = {E.E. Kohlbecker},
TITLE = {{Syntactic Extensions in the Programming Language Lisp}},
SCHOOL = {Indiana University},
YEAR = 1986,
KEYWORDS = {scheme}}
@BOOK{kranz86,
AUTHOR = {D. Kranz and R. Kelsey and J.A. Rees and P. Hudak
and J. Philbin and N.I. Adams},
BOOKTITLE = {{Proceedings of the SIGPLAN 1986 Symposium
on Compiler Construction}},
YEAR = 1986,
PAGES = {219--233},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% TITLE = {},
%%%%%%%%%%%%%%%% ADDRESS = {},
% ---- mmmm
@INPROCEEDINGS{mcdermott80,
AUTHOR = {D. McDermott},
TITLE = {{An Efficient Environment Allocation Scheme
in an Interpreter for a Lexically-Scoped Lisp}},
BOOKTITLE = lc80,
YEAR = 1980,
PAGES = {154--162},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@INPROCEEDINGS{muchnick80a,
AUTHOR = {S.S. Muchnick and U.F. Pleban},
TITLE = {{A Semantic Comparison of Lisp and Scheme}},
BOOKTITLE = lc80,
YEAR = 1980,
PAGES = {56--65},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
% ---- rrrr
@INPROCEEDINGS{rees82,
AUTHOR = {J.A. Rees and N.I. Adams},
TITLE = {{T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool}},
BOOKTITLE = slfp82,
ADDRESS = pp,
YEAR = 1982,
PAGES = {114--122},
KEYWORDS = {scheme}}
@MANUAL{rees84,
AUTHOR = {J.A. Rees and N.I. Adams and J.R. Meehan},
TITLE = {{The T Manual}},
EDITION = {Fourth},
ORGANIZATION = {Computer Science Department, Yale University},
YEAR = 1984,
KEYWORDS = {scheme}}
@INPROCEEDINGS{reynolds72,
AUTHOR = {J. Reynolds},
TITLE = {{Definitional Interpreters
for Higher Order Programming Languages}},
YEAR = 1972,
PAGES = {717--740},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% BOOKTITLE = {{ACM Conference Proceedings}}, ????
%%%%%%%%%%%%%%%% ADDRESS = {},
@MISC{rozas84,
AUTHOR = {G.J. Rozas},
TITLE = {{\it Liar, an Algol-Like Compiler for Scheme}},
HOWPUBLISHED = {{S.B. Thesis, MIT Department of Electrical
Engineering and Computer Science}},
YEAR = 1984,
KEYWORDS = {scheme}}
% ---- ssss
@INPROCEEDINGS{srivastava85,
AUTHOR = {A. Srivastava and D. Oxley and A. Srivastava},
TITLE = {{An (Other) Integration of Logic and Functional Programming}},
BOOKTITLE = {Proceedings of the Symposium on Logic Programming},
YEAR = 1985,
PAGES = {254--260},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@TECHREPORT{steele76,
AUTHOR = {G.L. Steele Jr. and G.J. Sussman},
TITLE = {{Lambda, the Ultimate Imperative}},
TYPE = aim,
NUMBER = 353,
INSTITUTION = ail,
ADDRESS = cm,
YEAR = 1976,
KEYWORDS = {scheme}}
@TECHREPORT{steele76a,
AUTHOR = {G.L. Steele Jr.},
TITLE = {{Lambda, the Ultimate Declarative}},
TYPE = aim
NUMBER = 379,
INSTITUTION = ail,
ADDRESS = cm,
YEAR = 1976,
KEYWORDS = {scheme}}
@INPROCEEDINGS{steele77,
AUTHOR = {G.L. Steele Jr.},
TITLE = {{Debunking the ``Expensive Procedure Call'' Myth,
or Procedure Call Implementations Considered Harmful,
or LAMBDA, the Ultimate GOTO}},
YEAR = 1977,
PAGES = {153--162},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% BOOKTITLE = {ACM Conference Proceedings}, ????
%%%%%%%%%%%%%%%% ADDRESS = {},
@INPROCEEDINGS{steele77a,
AUTHOR = {G.L. Steele Jr.},
TITLE = {{Macaroni is Better than Spaghetti}},
BOOKTITLE = {{Proceedings of the Symposium
on Artificial Intelligence and Programming Languages}},
YEAR = 1977,
PAGES = {60--66},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@TECHREPORT{steele78,
AUTHOR = {G.L. Steele Jr. and G.J. Sussman},
TITLE = {{The Revised Report on Scheme, a Dialect of Lisp}},
TYPE = aim,
NUMBER = 452,
INSTITUTION = ail,
ADDRESS = cm,
YEAR = 1978,
KEYWORDS = {scheme}}
@TECHREPORT{steele78a,
AUTHOR = {G.L. Steele Jr.},
TITLE = {{Rabbit: A Compiler for Scheme}},
NUMBER = 474,
INSTITUTION = ail,
ADDRESS = cm,
YEAR = 1978,
KEYWORDS = {scheme}}
@TECHREPORT{steele78a,
AUTHOR = {G.L. Steele Jr. and G.J. Sussman},
TITLE = {{The Art of the Interpreter,
or the Modularity Complex (parts zero, one, and two)}},
TYPE = aim,
NUMBER = 453,
INSTITUTION = ail,
YEAR = 1978,
KEYWORDS = {scheme}}
@TECHREPORT{steele79,
AUTHOR = {G.L. Steele Jr. and G.J. Sussman},
TITLE = {{Design of LISP-Based Processors
or, SCHEME: A Dielectric LISP
or, Finite Memories Considered Harmful
or, LAMBDA: The Ultimate Opcode}},
TYPE = aim,
NUMBER = 514,
INSTITUTION = ail,
ADDRESS = cm,
YEAR = {1979},
KEYWORDS = {scheme}}
@INCOLLECTION{steele80,
AUTHOR = {G.L. Steele Jr.},
TITLE = {{Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO}},
BOOKTITLE = {{AI: An MIT Perspective}},
EDITOR = {R.H. Brown},
PUBLISHER = mitp,
ADDRESS = cm,
YEAR = 1980,
KEYWORDS = {scheme}}
@INPROCEEDINGS{steele80a,
AUTHOR = {G.L. Steele Jr. and G.J. Sussman},
TITLE = {{The Dream of a Lifetime: A Lazy Variable Extent Mechanism}},
BOOKTITLE = lc80,
YEAR = 1980,
PAGES = {163--172},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@ARTICLE{steele80b,
AUTHOR = {G.L. Steele Jr. and G.J. Sussman},
TITLE = {{Design of a Lisp-Based Processor}},
JOURNAL = cacm,
VOLUME = 23,
NUMBER = 11,
PAGES = {628--645},
YEAR = 1980,
KEYWORDS = {scheme}}
@TECHREPORT{sussman75,
AUTHOR = {G.J. Sussman and G.L. Steele Jr.},
TITLE = {{Scheme: An Interpreter for Extended Lambda Calculus}},
TYPE = aim,
NUMBER = 349,
INSTITUTION = ail,
ADDRESS = cm,
YEAR = 1975,
KEYWORDS = {scheme}}
@ARTICLE{sussman81,
AUTHOR = {G.J. Sussman and J. Holloway and G.L. Steele Jr. and A. Bell},
TITLE = {{Scheme-79 --- Lisp on a Chip}},
VOLUME = 14,
NUMBER = 7,
YEAR = 1981,
PAGES = {10--21},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% JOURNAL = {IEEE Computer},
% ---- wwww
@ARTICLE{wand78,
AUTHOR = {M. Wand},
TITLE = {{Continuation-Based Program Transformation Strategies}},
JOURNAL = jacm,
VOLUME = 27,
NUMBER = 1,
YEAR = 1978,
PAGES = {174--180},
KEYWORDS = {scheme}}
@INPROCEEDINGS{wand80,
AUTHOR = {M. Wand},
TITLE = {{Continuation-Based Multiprocessing}},
BOOKTITLE = lc80,
YEAR = 1980,
PAGES = {19--28},
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% ADDRESS = {},
@INCOLLECTION{wand86,
AUTHOR = {M. Wand},
TITLE = {{From Interpreter to Compiler: A Representational Derivation}},
BOOKTITLE = {{Programs as Data Objects}},
PUBLISHER = {Springer-Verlag Lecture Notes},
YEAR = 1986,
KEYWORDS = {scheme}}
%%%%%%%%%%%%%%%% PAGES = {},
---- cut here ---- cut here ---- cut here ---- cut here ---- cut here ----
--
Ge'rald MASINI CRIN (Centre de Recherche en Informatique de Nancy)
uucp: masini@crin.crin.fr
post: CRIN B.P. 239 54506 Vandoeuvre-les-Nancy Cedex FRANCE
phone: +33 83.91.21.45