| 1998 | The Functional Imperative: Shape! | C. Barry Jay, Paul Steckler |
| 1998 | Language Primitives and Type Discipline for Structured Communication-Based Programming. | Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo |
| 1998 | Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews |
| 1998 | Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. | Christian Fecht, Helmut Seidl |
| 1998 | Synchronisation Analysis to Stop Tulping. | Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee |
| 1998 | Complexity of Concrete Type-Inference in the Presence of Exceptions. | Ramkrishna Chatterjee, Barbara G. Ryder, William Landi |
| 1998 | Verifiable and Executable Logic Specifications of Concurrent Objects in L | Lus Caires, Lus Monteiro |
| 1998 | A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. | Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas |
| 1998 | A Bisimulation Method for Cryptographic Protocols. | Martn Abadi, Andrew D. Gordon |
| 1996 | Towards an Expressive Language for PDE Solvers. | Michael Thun, Krister hlander |
| 1996 | Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. | Ketil Stlen |
| 1996 | Towards an ML-Style Polymorphic Type System for C. | Geoffrey Smith, Dennis M. Volpano |
| 1996 | Integer Constraints to Stop Deforestation. | Helmut Seidl |
| 1996 | Linear Time Hierarchies for a Functional Language Machine Model. | Eva Rose |
| 1996 | Mode and Termination Checking for Higher-Order Logic Programs. | Ekkehard Rohwedder, Frank Pfenning |
| 1996 | A New Approach to Compiling Adaptive Programs. | Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr |
| 1996 | Efficient Minimization up to Location Equivalence. | Ugo Montanari, Marco Pistore, Daniel Yankelevich |
| 1996 | Checking System Properties via Integer Programming. | Stephan Melzer, Javier Esparza |
| 1996 | Compositional Semantics of Non-Deterministic Synchronous Languages. | Florence Maraninchi, Nicolas Halbwachs |
| 1996 | Modular Denotational Semantics for Compiler Construction. | Sheng Liang, Paul Hudak |
| 1996 | Parametricity and Unboxing with Unpointed Types. | John Launchbury, Ross Paterson |
| 1996 | Compiling Haskell by Program Transformation: A Report from the Trenches. | Simon L. Peyton Jones |
| 1996 | Some Practical Problems and Their Influence on Semantics. | Cliff B. Jones |
| 1996 | Flow Analysis in the Geometry of Interaction. | Thomas P. Jensen, Ian Mackie |
| 1996 | Durations for Truly-Concurrent Transitions. | Eric Goubault |