| 1994 | Polymorphic Binding-Time Analysis. | Fritz Henglein, Christian Mossin |
| 1994 | Lazy Unification with Simplification. | Michael Hanus |
| 1994 | Lazy Type Inference for the Strictness Analysis of Lists. | Chris Hankin, Daniel Le Mtayer |
| 1994 | Type Classes in Haskell. | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
| 1994 | Suffix Trees in the Functional Programming Paradigm. | Robert Giegerich, Stefan Kurtz |
| 1994 | Compilation of Head and Strong Reduction. | Pascal Fradet |
| 1994 | Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. | Marc-Michel Corsini, Antoine Rauzy |
| 1994 | Strategies in Modular System Design by Interface Rewriting. | Serafino Cicerone, Francesco Parisi-Presicce |
| 1994 | Simulation of SOS Definitions with Term Rewriting Systems. | Karl-Heinz Buth |
| 1994 | Lambda-Definition of Function(al)s by Normal Forms. | Corrado Bhm, Adolfo Piperno, Stefano Guerrini |
| 1994 | Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. | Luca Boerio |
| 1994 | Characterizing Behavioural Semantics and Abstractor Semantics. | Michel Bidoit, Rolf Hennicker, Martin Wirsing |
| 1994 | Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. | Bernard Berthomieu, Thierry Le Sergent |
| 1994 | Foundational Issues in Implementing Constraint Logic Programming Systems. | James H. Andrews |
| 1994 | An Asynchronous Algebra with Multiple Clocks. | Henrik Reif Andersen, Michael Mendler |
| 1994 | Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. | Torben Amtoft |
| 1994 | A Theory of Primitive Objects - Scond-Order Systems. | Martn Abadi, Luca Cardelli |
| 1992 | Typing References by Effect Inference. | Andrew K. Wright |
| 1992 | Modules for an Model-Oriented Specification Language: A Proposal for MetaSoft. | Andrzej Tarlecki |
| 1992 | An Adequate Operational Semantics for Sharing in Lazy Evaluation. | S. Purushothaman, Jill Seaman |
| 1992 | A Provably Correct Compiler Generator. | Jens Palsberg |
| 1992 | Type Inference for Partial Types is Decidable. | Patrick O'Keefe, Mitchell Wand |
| 1992 | Observers for Linear Types. | Martin Odersky |
| 1992 | Basic Superposition is Complete. | Robert Nieuwenhuis, Albert Rubio |
| 1992 | The Tensor Product in Wadler's Analysis of Lists. | Flemming Nielson, Hanne Riis Nielson |