Abstract is missing.
- Expressional LoopsRichard C. Waters. 1-10
- Grids: A New Program Structuring Mechanism Based on Layered GraphsHarold Ossher. 11-22
- Reflection and Semantics in LispBrian Cantwell Smith. 23-35
- Interactive Proof CheckingThomas W. Reps, Bowen Alpern. 36-45
- Generalized Fair TerminationNissim Francez, Dexter Kozen. 46-53
- Temporal Verification of Carrier-Sense Local Area Network ProtocolsDennis Shasha, Amir Pnueli, W. Ewald. 54-65
- Efficient Applicative Data TypesEugene W. Myers. 66-75
- Completion of a Set of Rules Modulo a Set of EquationsJean-Pierre Jouannaud, Hélène Kirchner. 83-92
- Systems Programming in Concurrent PrologEhud Y. Shapiro. 93-105
- Implementation of an Interpreter for Abstract EquationsChristoph M. Hoffmann, Michael J. O Donnell. 111-121
- A Combinator-Based Compiler for a Functional LanguagePaul Hudak, David A. Kranz. 122-132
- Treat - An Applicative Code GeneratorJerald S. Schwarz, Dean Rubine. 133-139
- Inverse Currying Transformation on Attribute GrammarsReinhard Wilhelm. 140-147
- The Global Storage Needs of a SubcomputationJean-Claude Raoult, Ravi Sethi. 148-157
- A Types-as-Sets Semantics for Milner-Style PolymorphismMitchell Wand. 158-164
- An Ideal Model for Recursive Polymorphic TypesDavid B. MacQueen, Gordon D. Plotkin, Ravi Sethi. 165-174
- Editing by ExampleRobert P. Nix. 186-195
- Direct Implementation of Compiler Specifications or the Pascal P-code Compiler RevisitedDon Milos, Uwe F. Pleban, George Loegel. 196-207
- Paragon: Novel Uses of Type Hierarchies for Data AbstractionMark Sherman. 208-217
- Applicative Programming and Digital DesignSteven D. Johnson. 218-227
- Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic ProgramsP. A. Subrahmanyam, Jia-Huai You. 228-234
- Static Inference of Properties of Applicative ProgramsPrateek Mishra, Robert M. Keller. 235-244
- On Relative Completeness of Programming LogicsMichal Grabowski. 258-261
- A Hierarchical Basis for Reordering TransformationsJoe D. Warren. 272-282
- A Less Dynamic Memory Allocation Scheme for Algol-like LanguagesThomas P. Murtagh. 283-289
- Creating Efficient Systems for Object-Oriented LanguagesNorihisa Suzuki, Minoru Terada. 290-296
- Efficient Implementation of the Smalltalk-80 SystemL. Peter Deutsch, Allan M. Schiffman. 297-302