Last update:
Fri Dec 2 17:51:30 MST 2022
Mitchell Wand and
Daniel P. Friedman The Mystery of the Tower Revealed: A
Non-Reflective Description of the
Reflective Tower . . . . . . . . . . . . 11--37
Kevin J. Lang and
Barak A. Pearlmutter Oaklisp: An Object-Oriented Dialect of
Scheme . . . . . . . . . . . . . . . . . 39--51
R. Kent Dybvig and
Daniel P. Friedman and
Christopher T. Haynes Expansion-Passing Style: A General Macro
Mechanism . . . . . . . . . . . . . . . 53--75
Anonymous Book Review: \em Lisp Lore: A Guide to
Programming the Lisp Machine, 2d ed.,
Hank Bromley and Richard Lamson, Boston:
Kluwer. 1987. 337 pages hardbound.
\$47.50 . . . . . . . . . . . . . . . . 77--79
Richard P. Gabriel and
Kent M. Pitman Endpaper: Technical Issues of Separation
in Function Cells and Value Cells . . . 81--101
John T. O'Donnell and
Cordelia V. Hall Debugging in Applicative Languages . . . 113--145
Adrienne Bloss and
Paul R. Hudak and
Jonathan H. Young Code Optimizations for Lazy Evaluation 147--164
Dario Giuse LISP as a Rapid Prototyping Environment:
The Chinese Tutor . . . . . . . . . . . 165--184
Karl J. Lieberherr Object-Oriented Programming with Class
Dictionaries . . . . . . . . . . . . . . 185--212
Linda G. Demichiel Overview: The Common Lisp Object System 227--244
Daniel G. Bobrow and
Linda G. Demichiel and
Richard P. Gabriel and
Sonya E. Keene and
Gregor Kiczales and
David A. Moon Common Lisp Object System Specification
1. Programmer Interface Concepts . . . . 245--298
Daniel G. Bobrow and
Linda G. Demichiel and
Richard P. Gabriel and
Sonya E. Keene and
Gregor Kiczales and
David A. Moon Common Lisp Object System Specification
2. Functions in the Programmer Interface 299--394
Neil D. Jones and
Peter Sestoft and
Harald Sòndergaard Mix: A Self-Applicable Partial Evaluator
for Experiments in Compiler Generation 9--50
Hassan Ait-kaci and
Roger Nasr Integrating Logic and Functional
Programming . . . . . . . . . . . . . . 51--89
Anonymous Book Review: \em Artificial Intelligence
Programming, 2d ed. Charniak, Riesbeck,
McDermott, and Meehan. New Jersey:
Lawrence Erlbaum Associates, 1987. 533
pages hardbound . . . . . . . . . . . . 91--93
Klaus E. Grue Arrays in Pure Functional Programming
Languages . . . . . . . . . . . . . . . 105--113
Walter Olthoff and
James Kempf An Algebraic Specification of Method
Combination for the Common Lisp Object
System . . . . . . . . . . . . . . . . . 115--152
Andrew W. Appel Runtime Tags Aren't Necessary . . . . . 153--162
Anonymous Book Review: \em Object-Oriented
Programming in Common LISP: A
Programmer's Guide to CLOS, Sonya E.
Keene, Massachusetts: Addison-Wesley,
1989 . . . . . . . . . . . . . . . . . . 163--165
Williams Ludwell Harrison, III The Interprocedural Analysis and
Automatic Parallellization of Scheme
Programs . . . . . . . . . . . . . . . . 179--396
Benjamin Zorn and
Paul Hilfinger Direct Function Calls in Lisp . . . . . 13--20
Colin Runciman and
Nigel Jagger Relative Specification and
Transformational Reuse of Functional
Programs . . . . . . . . . . . . . . . . 21--37
Mohammad Pourheidari and
Robert R. Kessler and
Harold Carr Moped (A Portable Debugger) . . . . . . 39--65
Dorai Sitaram and
Matthias Felleisen Control Delimiters and Their Hierarchies 67--99
David S. Touretzky Book Review: \em Common Lisp: the
Reference, by Franz, Inc. Addison-Wesley
Publishing Company, 1988. Softcover; 919
pages . . . . . . . . . . . . . . . . . 101--102
Pierre E. Bonzon A Metacircular Evaluator for a Logical
Extension of Scheme . . . . . . . . . . 113--133
Margaret H. Derbyshire Mark Scan Garbage Collection on a
Distributed Architecture . . . . . . . . 135--170
Richard Acuff Endpaper: Performance of Two Common Lisp
Programs On Several Systems . . . . . . 171--204
John R. Diamant and
Gerald P. Duggan A Preprocessor Based Implementation of
Common Lisp . . . . . . . . . . . . . . 211--228
R. Kent Dybvig and
Robert Hieb A New Approach to Procedures with
Variable Arity . . . . . . . . . . . . . 229--244
Erik Ruf and
Daniel Weise LogScheme: Integrating Logic Programming
into Scheme . . . . . . . . . . . . . . 245--288
Göran Bage and
Gary Lindstrom Combinator Evaluation of Functional
Programs With Logical Variables . . . . 289--320
Anonymous Book Review: \em Common Lisp: A
Tutorial, by Wendy L. Milner. Prentice
Hall, 1988. Softcover; 519 pages . . . . 321--325
Andrew W. Appel A Runtime System . . . . . . . . . . . . 343--380
R. Ghosh-Roy Conjunction-Type Standard ML
Polymorphism . . . . . . . . . . . . . . 381--409
Robert R. Kessler and
Jed J. Krohnfeldt A Logical Approach to Program Analysis 5--27
James R. Larus Compiling Lisp Programs for Parallel
Execution . . . . . . . . . . . . . . . 29--99
James S. Miller and
Guillermo J. Rozas Free Variables and First-Class
Environments . . . . . . . . . . . . . . 107--141
Timothy Koschmann Designing a Browser to Support
Multimethods and Method Combination . . 143--154
Richard J. Fateman Endpaper: FRPOLY: A Benchmark Revisited 155--164
Jon L. White Book Review: \em A ``Kinder, Gentler
LISP?'' COMMON LISP: A Gentle
Introduction to Symbolic Computation, by
David S. Touretzky. Benjamin/Cummings
Publishing Company 1990 . . . . . . . . 165--177
David Ungar and
Randall B. Smith SELF. The power of simplicity . . . . . 187--205
Craig Chambers and
David Ungar and
Bay-Wei Chang and
Urs Hölzle Parents are Shared Parts of Objects:
Inheritance and Encapsulation in SELF 207--222
David Ungar and
Craig Chambers and
Bay-Wei Chang and
Urs Hölzle Organizing Programs Without Classes . . 223--242
Craig Chambers and
David Ungar and
Elgin Lee An Efficient Implementation of SELF, a
Dynamically-Typed Object-Oriented
Language Based on Prototypes . . . . . . 243--281
Craig Chambers and
David Ungar Iterative Type Analysis and Extended
Message Splitting: Optimizing
Dynamically-Typed Object-Oriented
Programs . . . . . . . . . . . . . . . . 283--310
Anonymous Introduction . . . . . . . . . . . . . . 317
María Victoria Cengarle and
Luis Mandel and
Martin Wirsing and
Heiner Brand and
Klaus Däßler and
Thekla Schneider An Approach to the DIN Kernel Lisp
Definition . . . . . . . . . . . . . . . 319--369
Henry G. Baker Critique of DIN Kernel Lisp Definition
Version 1.2 . . . . . . . . . . . . . . 371--398
María Victoria Cengarle and
Luis Mandel and
Martin Wirsing and
Heiner Brand and
Klaus Däßler and
Thekla Schneider Answer to Baker's Remarks of July 1991
on Version 1.0 . . . . . . . . . . . . . 399--404
Anonymous Introduction . . . . . . . . . . . . . . 5
Al Davis Mayfly: A General-Purpose, Scalable,
Parallel Processing Architecture . . . . 7--48
John S. Conery Parallel Logic Programs on the Mayfly 49--72
R. Kessler and
H. Carr and
L. Stoller and
M. Swanson Implementing Concurrent Scheme for the
Mayfly Distributed Parallel Processing
System . . . . . . . . . . . . . . . . . 73--93
Mark R. Swanson Concurrent Scheme Reference . . . . . . 95--104
John D. Evans and
Robert R. Kessler DPOS: A Metalanguage and Programming
Environment for Parallel Processing . . 105--123
Cheng Gang and
Yun-Zheng Zhang A ``Functional + Logic'' Programming
Language in Interpretation-Compilation
Implementation . . . . . . . . . . . . . 133--156
Henry G. Baker A Decision Procedure for Common Lisp's
SUBTYPEP Predicate . . . . . . . . . . . 157--190
Andrew W. Appel and
Zhong Shao Callee-save Registers in
Continuation-passing Style . . . . . . . 191--221
Alan Borning and
Bjorn N. Freeman-Benson and
Molly Wilson Constraint Hierarchies . . . . . . . . . 223--270
Guy Lapalme and
Mario Latendresse A Debugging Environment for Lazy
Functional Languages . . . . . . . . . . 271--287
R. Kent Dybvig and
Robert Hieb and
Carl Bruggeman Syntactic Abstraction in Scheme . . . . 295--326
Charles Consel and
Olivier Danvy Partial Evaluation in Parallel . . . . . 327--342
Shinn-Der Lee and
Daniel P. Friedman First-Class Extents . . . . . . . . . . 343--375
Anonymous Editorial . . . . . . . . . . . . . . . 5
Julian Padget and
Greg Nuyens and
Harry Bretthauer An Overview of EULISP . . . . . . . . . 9--98
Russell J. Bradford and
David C. De Roure EuLisp in Education . . . . . . . . . . 99--118
Harry Bretthauer and
Jürgen Kopp and
Harley E. Davis and
Keith J. Playford Balancing the EuLisp Metaobject Protocol 119--138
Peter A. Broadbery and
Christopher Burdorf Applications of Telos . . . . . . . . . 139--158
Andreas Kind and
Horst Friedrich A Practical Approach to Type Inference
for EuLisp . . . . . . . . . . . . . . . 159--176
Neil Berrington and
Peter A. Broadbery and
David De Roure and
Julian A. Padget EuLisp Threads: A Concurrency Toolbox 177--200
Simon Merrall and
Julian A. Padget Plurals: A SIMD Extension to EuLisp . . 201--220
Anonymous Introduction . . . . . . . . . . . . . . 229
John C. Reynolds The Discoveries of Continuations . . . . 233--248
F. Lockwood Morris The Next 700 Formal Language
Descriptions . . . . . . . . . . . . . . 249--258
Michael J. Fischer Lambda-Calculus Schemata . . . . . . . . 259--288
Amr Sabry and
Matthias Felleisen Reasoning about Programs in
Continuation-Passing Style . . . . . . . 289--360
Robert W. Harper and
Mark Lillibridge Polymorphic Type Assignment and CPS
Conversion . . . . . . . . . . . . . . . 361--380
Anonymous Introduction . . . . . . . . . . . . . . 7
Andrzej Filinski Recursion from Iteration . . . . . . . . 11--38
Philip Wadler Monads and Composable Continuations . . 39--56
Chris Okasaki and
Peter Lee and
David Tarditi Call-by-need and Continuation-passing
Style . . . . . . . . . . . . . . . . . 57--82
Robert Hieb and
Kent Dybvig and
Claude W. Anderson, III Subcontinuations . . . . . . . . . . . . 83--110
John S. Conery Continuation based control in the
implementation of parallel logic
programs . . . . . . . . . . . . . . . . 111--134
Soumen Chakrabarti and
Katherine Yelick Distributed Data Structures and
Algorithms for Gröbner Basis Computation 147--172
Stephen Weeks and
Suresh Jagannathan and
James Philbin A Concurrent Abstract Interpreter . . . 173--193
Kinson Ho and
Hans W. Guesgen and
Paul N. Hilfinger CONSAT: A Parallel Constraint
Satisfaction System . . . . . . . . . . 195--210
Hideo Matsuda and
Yukio Kaneda An Application of an OR-Parallel Prolog
System to Phylogenetic Analysis . . . . 211--229
Marc Feeley and
Marcel Turcotte and
Guy Lapalme Using Multilisp for Solving Constraint
Satisfaction Problems: an Application to
Nucleic Acid 3D Structure Determination 231--247
Peter D. Karp and
John D. Lowrance and
Thomas M. Strat and
David E. Wilkins The Grasper-CL Graph Management System 251--290
Suresh Jagannathan TS/Scheme: distributed data structures
in Lisp . . . . . . . . . . . . . . . . 291--314
Richard A. Kelsey and
Jonathan A. Rees A Tractable Scheme Implementation . . . 315--335
Andrew W. Appel Loop Headers in $\lambda$-Calculus or
CPS . . . . . . . . . . . . . . . . . . 337--343
Joshua D. Guttman and
John D. Ramsdell and
Mitchell Wand VLISP: A Verified Implementation of
Scheme . . . . . . . . . . . . . . . . . 5--32
Joshua D. Guttman and
John D. Ramsdell and
Vipin Swarup The VLISP Verified Scheme System . . . . 33--110
Dino P. Oliva and
John D. Ramsdell and
Mitchell Wand The VLISP Verified PreScheme Compiler 111--182
Peter Sestoft and
Harald Sòndergaard Guest Editors' Foreword . . . . . . . . 189
Lars Birkedal and
Morten Welinder Binding-Time Analysis for Standard ML 191--208
Olivier Danvy and
Karoline Malmkjær and
Jens Palsberg The Essence of Eta-Expansion in Partial
Evaluation . . . . . . . . . . . . . . . 209--227
Mark P. Jones Dictionary-Free Overloading by Partial
Evaluation . . . . . . . . . . . . . . . 229--248
Kei Davis PERs from projections for binding time
analysis . . . . . . . . . . . . . . . . 249--266
Clement A. Baker-Finch Type Theory and Projections for Static
Analysis . . . . . . . . . . . . . . . . 267--285
Ian A. Mason and
Martin Odersky Introduction . . . . . . . . . . . . . . 291--292
John Launchbury and
Simon L. Peyton Jones State in Haskell . . . . . . . . . . . . 293--341
Andrew K. Wright Simple Imperative Polymorphism . . . . . 343--355
Jonathan Eifrig and
Scott Smith and
Valery Trifonov and
Amy Zwarico An Interpretation of Typed OOP in a
Language with State . . . . . . . . . . 357--397
Joshua D. Guttman and
Mitchell Wand Special Issue on VLISP . . . . . . . . . ??
Uday S. Reddy Global State Considered Unnecessary: An
Introduction to Object-Based Semantics 7--76
Ian Stark Categorical Models for Local Names . . . 77--107
Jonathan Springer and
Samuel N. Kamin Strictness Analysis in the Imperative
Lambda Calculus . . . . . . . . . . . . 109--143
Jacques Malenfant and
Christophe Dony and
Pierre Cointe A Semantics of Introspection in a
Reflective Prototype-Based Language . . 153--179
Stanley Jefferson and
Daniel P. Friedman A Simple Reflective Interpreter . . . . 181--202
Kenichi Asai and
Satoshi Matsuoka and
Akinori Yonezawa Duplication and partial evaluation ---
for a better understanding of reflective
languages - . . . . . . . . . . . . . . 203--241
Yasuaki Honda and
Mario Tokoro Reflection and Time-Dependent Computing:
Experiences with the $R^2$ Architecture 243--277
Wei-Ngan Chin and
John Darlington A Higher-Order Removal Method . . . . . 287--322
David Tarditi and
Amer Diwan Measuring the Cost of Storage Management 323--342
Sho-Huan Simon Tung and
R. Kent Dybvig Reliable Interactive Programming with
Modules . . . . . . . . . . . . . . . . 343--358
J. H. Jacobs and
M. R. Swanson UCL+P --- Defining and Implementing
Persistent Common Lisp . . . . . . . . . 5--38
Arthur H. Lee and
Joseph L. Zachary Adding Support for Persistence to CLOS
via Its Metaobject Protocol . . . . . . 39--60
Atsushi Ohori and
Tomonobu Takamizawa An Unboxed Operational Semantics for ML
Polymorphism . . . . . . . . . . . . . . 61--91
Bob Kessler and
Carolyn Talcott Editorial . . . . . . . . . . . . . . . 99--99
Olivier Danvy and
Mayer Goldberg Partial Evaluation of the Euclidian
Algorithm . . . . . . . . . . . . . . . 101--111
Robert Glück and
Jesper Jòrgensen An Automatic Program Generator for
Multi-Level Specialization . . . . . . . 113--158
David S. Wise and
Brian Heck and
Caleb Hess and
Willie Hunt and
Eric Ost Research Demonstration of a Hardware
Reference-Counting Heap . . . . . . . . 159--181
Mitchell Wand The Theory of Fexprs is Trivial . . . . 189--199
Sho-Huan Simon Tung Visualizing Evaluation in Scheme . . . . 201--222
Sanjeev Kumar and
Carl Bruggeman and
R. Kent Dybvig Threads Yield Continuations . . . . . . 223--236
David A. Schmidt Trace-Based Abstract Interpretation of
Operational Semantics . . . . . . . . . 237--271
Bob Kessler and
Carolyn Talcott Editorial . . . . . . . . . . . . . . . 279--279
Anonymous Volume 1 (1988) . . . . . . . . . . . . 281--287
Anonymous Volume 2 (1989) . . . . . . . . . . . . 289--293
Anonymous Volume 3 (1990) . . . . . . . . . . . . 295--303
Anonymous Volume 4 (1991) . . . . . . . . . . . . 305--313
Anonymous Volume 5 (1992) . . . . . . . . . . . . 315--323
Anonymous Volume 6 (1993) . . . . . . . . . . . . 325--332
Anonymous Volume 7 (1994) . . . . . . . . . . . . 333--342
Anonymous Volume 8 (1995) . . . . . . . . . . . . 343--349
Anonymous Volume 9 (1996) . . . . . . . . . . . . 351--357
Anonymous Volume 10 (1997) . . . . . . . . . . . . 359--366
Anonymous Author Index . . . . . . . . . . . . . . 367--369
Anonymous Title Index . . . . . . . . . . . . . . 371--373
Robert Harper and
Mark Lillibridge Corrigendum: Polymorphic Type Assignment
and CPS Conversion . . . . . . . . . . . 401--401