| 1988 | 2-level lambda-lifting. Flemming Nielson, Hanne Riis Nielson |
| 1988 | A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). Reinhold Heckmann |
| 1988 | A Functional Language for the Specification of Complex Tree Transformations. Reinhold Heckmann |
| 1988 | A Polymorphic Type System with Subtypes for Prolog. Roland Dietrich, Frank Hagl |
| 1988 | A Semantics Driven Temporal Verification System. Graham Gough, Howard Barringer |
| 1988 | A Theory of Software Reusability. Marie-Claude Gaudel, Th. Moineau |
| 1988 | Adding Relational Query Facilities to Software Development Environments. Susan Horwitz |
| 1988 | Algebraic Formalisation of Program Development by Transformation. Bernd Krieg-Brückner |
| 1988 | An Exception Handling Construct for Functional Languages. Manfred Bretz, Jürgen Ebert |
| 1988 | CEC: A System for the Completion of Conditional Equational Specifications. Hubert Bertling, Harald Ganzinger, Renate Schäfers |
| 1988 | Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. Robert Giegerich, Karl Schmal |
| 1988 | Compilation of Logic Programs for Restricted And-Parallelism. Dean Jacobs, Anno Langen |
| 1988 | Deforestation: Transforming Programs to Eliminate Trees. Philip Wadler |
| 1988 | ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings Harald Ganzinger |
| 1988 | Enhancing Prolog to Support Prolog Programming Environments. Alberto Martelli, Gianfranco Rossi |
| 1988 | Extending Functional Programming Towards Relations. Remi Legrand |
| 1988 | Garp: Graph Abstractions for Concurrent Programming. Simon M. Kaplan, Gail E. Kaiser |
| 1988 | Implementation of Lazy Pattern Matching Algorithms. Alain Laville |
| 1988 | Implementation of Modular Algebraic Specifications. N. W. P. van Diepen |
| 1988 | LPG: A Generic, Logic and Functional Programming Language. Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier |
| 1988 | New Insights into Partial Evaluation: the SCHISM Experiment. Charles Consel |
| 1988 | On Implementing Logic Programming Languages on a Dataflow Architecture. Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Haondt |
| 1988 | Parametric Overloading in Polymorphic Programming Languages. Stefan Kaes |
| 1988 | Perfect Pipelining: A New Loop Parallelization Technique. Alexander Aiken, Alexandru Nicolau |
| 1988 | Programming with Proofs: A Second Order Type Theory. Michel Parigot |
| 1988 | QPC: QJ-based Proof Compiler - Simple Examples and Analysis. Yukihide Takayama |
| 1988 | Semantics-Based Program Integration. Thomas W. Reps, Susan Horwitz |
| 1988 | The PSG System: From Formal Language Definitions to Interactive Programming Environments. Rolf Bahlke, Gregor Snelting |
| 1988 | Type Inference with Subtypes. You-Chin Fuh, Prateek Mishra |