| 1994 | A Logical Denotational Semantics for Constraint Logic Programming. Alessandra Di Pierro, Catuscia Palamidessi |
| 1994 | A Logical Framework for Evolution of Specifications. Wei Li |
| 1994 | A Semantics for Higher-Order Functors. David B. MacQueen, Mads Tofte |
| 1994 | A Synergistic Analysis for Sharing and Groundness with Traces Linearity. Andy King |
| 1994 | A Theory of Primitive Objects - Scond-Order Systems. Martín Abadi, Luca Cardelli |
| 1994 | A Tiny Constrain Functional Logic Language and Its Continuation Semantics. Andy Mück, Thomas Streicher |
| 1994 | A pi-Calculus Specification of Prolog. Benjamin Z. Li |
| 1994 | Algebraic Proofs of Properties of Objects. David Walker |
| 1994 | An Asynchronous Algebra with Multiple Clocks. Henrik Reif Andersen, Michael Mendler |
| 1994 | Bottom-up Grammar Analysis - A Functional Formulation. Johan Jeuring, S. Doaitse Swierstra |
| 1994 | Broadcasting with Priority. K. V. S. Prasad |
| 1994 | Characterizing Behavioural Semantics and Abstractor Semantics. Michel Bidoit, Rolf Hennicker, Martin Wirsing |
| 1994 | Compilation of Head and Strong Reduction. Pascal Fradet |
| 1994 | Dimension Types. Andrew Kennedy |
| 1994 | Extending Pruning Techniques to Polymorphic Second order Lambda-Calculus. Luca Boerio |
| 1994 | First-Class Polymorphism for ML. Stefan Kahrs |
| 1994 | Foundational Issues in Implementing Constraint Logic Programming Systems. James H. Andrews |
| 1994 | Fully Abstract Translations and Parametric Polymorphism. Peter W. O'Hearn, Jon G. Riecke |
| 1994 | Lambda-Definition of Function(al)s by Normal Forms. Corrado Böhm, Adolfo Piperno, Stefano Guerrini |
| 1994 | Lazy Type Inference for the Strictness Analysis of Lists. Chris Hankin, Daniel Le Métayer |
| 1994 | Lazy Unification with Simplification. Michael Hanus |
| 1994 | Local Type Reconstruction by Means of Symbolic Fixed Point Iteration. Torben Amtoft |
| 1994 | Pi-Nets: A Graphical Form of pi-Calculus. Robin Milner |
| 1994 | Polymorphic Binding-Time Analysis. Fritz Henglein, Christian Mossin |
| 1994 | Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings Donald Sannella |
| 1994 | Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS. Bernard Berthomieu, Thierry Le Sergent |
| 1994 | Shapely Types and Shape Polymorphism. C. Barry Jay, J. Robin B. Cockett |
| 1994 | Simulation of SOS Definitions with Term Rewriting Systems. Karl-Heinz Buth |
| 1994 | Strategies in Modular System Design by Interface Rewriting. Serafino Cicerone, Francesco Parisi-Presicce |
| 1994 | Suffix Trees in the Functional Programming Paradigm. Robert Giegerich, Stefan Kurtz |
| 1994 | Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. Marc-Michel Corsini, Antoine Rauzy |
| 1994 | The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. Luc Moreau |
| 1994 | Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. Morten Heine Sørensen, Robert Glück, Neil D. Jones |
| 1994 | Type Classes in Haskell. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |