| 1988 | Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt |
| 1987 | A Categorical Approach to Realizability and Polymorphic Types. Aurelio Carboni, Peter J. Freyd, Andre Scedrov |
| 1987 | A Categorical Treatment of Polymorphic Operations. John W. Gray |
| 1987 | A Powerdomain Construction. Karel Hrbacek |
| 1987 | A Treatment of Languages with Stages of Evaluation. Laurette Bradley |
| 1987 | An Action Semantics of Standard ML. David A. Watt |
| 1987 | An Algorithmic Approach to the p-adic Integers. Steven Vickers |
| 1987 | Assertional Categories. Ernie Manes |
| 1987 | Closure Properties of a Probabilistic Domain Construction. Steven K. Graham |
| 1987 | Computable One-to-one Enumerations of Effective Domains. Dieter Spreen |
| 1987 | Continuous Auxiliary Relations. Tsutomu Kamimura, Adrian Tang |
| 1987 | DI-Domains as a Model of Polymorphism. Thierry Coquand, Carl A. Gunter, Glynn Winskel |
| 1987 | High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. Uwe F. Pleban, Peter Lee |
| 1987 | Initial Algebra Semantics and Concurrency. Maria Zamfir |
| 1987 | Kan Extensions in Effective Semantics. Philip S. Mulry |
| 1987 | MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). Neil D. Jones, Peter Sestoft, Harald Søndergaard |
| 1987 | Metric Spaces as Models for Real-Time Concurrency. George M. Reed, A. W. Roscoe |
| 1987 | New Results on Hierarchies of Domains. Achim Jung |
| 1987 | On the Smyth Power Domain. Michael W. Mislove |
| 1987 | Operational Semantics and a Distributed Implementation of CSP. Gerlinde Schreiber |
| 1987 | Path Semantics. Adrienne G. Bloss, Paul Hudak |
| 1987 | Quasi Uniformities: Reconciling Domains with Metric Spaces. Michael B. Smyth |
| 1987 | Rule-Based Semantics for an Extended Lambda-Calculus. György E. Révész |
| 1987 | Semantically Based Axiomatics. Stephen D. Brookes |
| 1987 | Semantics of Block Structured Languages with Pointers. Eric G. Wagner |
| 1987 | Semantics-Based Tools for a Specification-Support Environment. Joylyn Reed |
| 1987 | Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. Pierre America, Jan J. M. M. Rutten |
| 1987 | The Formal Description of Data Types Using Sketches. Charles Wells, Michael Barr |
| 1987 | The Metric Closure Powerspace Construction. Robert E. Kent |
| 1987 | The Semantics of Miranda's Algebraic Types. Kim B. Bruce, Jon G. Riecke |
| 1987 | The Shuffle Bialgebra. David B. Benson |
| 1987 | The Versatile Continuous Order. Jimmie D. Lawson |
| 1987 | Topological Completeness in an Ideal Model for Polymorphic Types. Ernst-Erich Doberkat |