| 1988 | Programming with Proofs: A Second Order Type Theory. | Michel Parigot |
| 1988 | 2-level lambda-lifting. | Flemming Nielson, Hanne Riis Nielson |
| 1988 | Enhancing Prolog to Support Prolog Programming Environments. | Alberto Martelli, Gianfranco Rossi |
| 1988 | Extending Functional Programming Towards Relations. | Remi Legrand |
| 1988 | Implementation of Lazy Pattern Matching Algorithms. | Alain Laville |
| 1988 | Algebraic Formalisation of Program Development by Transformation. | Bernd Krieg-Brckner |
| 1988 | Garp: Graph Abstractions for Concurrent Programming. | Simon M. Kaplan, Gail E. Kaiser |
| 1988 | Parametric Overloading in Polymorphic Programming Languages. | Stefan Kaes |
| 1988 | Compilation of Logic Programs for Restricted And-Parallelism. | Dean Jacobs, Anno Langen |
| 1988 | Adding Relational Query Facilities to Software Development Environments. | Susan Horwitz |
| 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 Semantics Driven Temporal Verification System. | Graham Gough, Howard Barringer |
| 1988 | Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors. | Robert Giegerich, Karl Schmal |
| 1988 | A Theory of Software Reusability. | Marie-Claude Gaudel, Th. Moineau |
| 1988 | Type Inference with Subtypes. | You-Chin Fuh, Prateek Mishra |
| 1988 | A Polymorphic Type System with Subtypes for Prolog. | Roland Dietrich, Frank Hagl |
| 1988 | Implementation of Modular Algebraic Specifications. | N. W. P. van Diepen |
| 1988 | New Insights into Partial Evaluation: the SCHISM Experiment. | Charles Consel |
| 1988 | An Exception Handling Construct for Functional Languages. | Manfred Bretz, Jrgen Ebert |
| 1988 | CEC: A System for the Completion of Conditional Equational Specifications. | Hubert Bertling, Harald Ganzinger, Renate Schfers |
| 1988 | LPG: A Generic, Logic and Functional Programming Language. | Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, Franois Wautier |
| 1988 | The PSG System: From Formal Language Definitions to Interactive Programming Environments. | Rolf Bahlke, Gregor Snelting |
| 1988 | Perfect Pipelining: A New Loop Parallelization Technique. | Alexander Aiken, Alexandru Nicolau |
| 1986 | Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. | Rmi Triolet, Paul Feautrier, Franois Irigoin |