| 1996 | A Rewriting Logic for Declarative Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 1996 | Compositional Optimization of Disjunctive Abstract Interpretations. | Roberto Giacobazzi, Francesco Ranzato |
| 1996 | Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. | Pascal Fradet, Ronan Caugne, Daniel Le Mtayer |
| 1996 | Global Analysis of Standard Prolog Programs. | Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germn Puebla |
| 1996 | A Complete Transformational Toolkit for Compilers. | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
| 1996 | Removing Value Encoding Using Alternative Values in Partial Evaluation of Strongly-Typed Languages. | Denis Bchet |
| 1996 | A Multiple-Valued Logical Semantics for Prolog. | Roberto Barbuti, Paolo Mancarella |
| 1996 | Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. | Steffen van Bakel, Franco Barbanera, Maribel Fernndez |
| 1996 | Narrowing-Driven Partial Evaluation of Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Germn Vidal |
| 1994 | Algebraic Proofs of Properties of Objects. | David Walker |
| 1994 | Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. | Morten Heine Srensen, Robert Glck, Neil D. Jones |
| 1994 | Broadcasting with Priority. | K. V. S. Prasad |
| 1994 | A Logical Denotational Semantics for Constraint Logic Programming. | Alessandra Di Pierro, Catuscia Palamidessi |
| 1994 | Fully Abstract Translations and Parametric Polymorphism. | Peter W. O'Hearn, Jon G. Riecke |
| 1994 | A Tiny Constrain Functional Logic Language and Its Continuation Semantics. | Andy Mck, Thomas Streicher |
| 1994 | The PCKS-Machine: An Abstract Machine for Sound Evaluation of Parallel Functional Programs with First-Class Continuations. | Luc Moreau |
| 1994 | Pi-Nets: A Graphical Form of pi-Calculus. | Robin Milner |
| 1994 | A Semantics for Higher-Order Functors. | David B. MacQueen, Mads Tofte |
| 1994 | A Logical Framework for Evolution of Specifications. | Wei Li |
| 1994 | A pi-Calculus Specification of Prolog. | Benjamin Z. Li |
| 1994 | A Synergistic Analysis for Sharing and Groundness with Traces Linearity. | Andy King |
| 1994 | Dimension Types. | Andrew Kennedy |
| 1994 | First-Class Polymorphism for ML. | Stefan Kahrs |
| 1994 | Bottom-up Grammar Analysis - A Functional Formulation. | Johan Jeuring, S. Doaitse Swierstra |
| 1994 | Shapely Types and Shape Polymorphism. | C. Barry Jay, J. Robin B. Cockett |