MFPS 1987: Tulane University, New Orleans, Louisiana, USA

Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 298 Springer 1988, ISBN 3-540-19020-1

Categorical and Algebraic Methods

John W. Gray:
A Categorical Treatment of Polymorphic Operations. 2-22
Aurelio Carboni, Peter J. Freyd, Andre Scedrov:
A Categorical Approach to Realizability and Polymorphic Types. 23-42
György E. Révész:
Rule-Based Semantics for an Extended Lambda-Calculus. 43-56
Eric G. Wagner:
Semantics of Block Structured Languages with Pointers. 57-84
Ernie Manes:
Assertional Categories. 85-120
Philip S. Mulry:
Kan Extensions in Effective Semantics. 121-132

Jimmie D. Lawson:
The Versatile Continuous Order. 134-160
Michael W. Mislove:
On the Smyth Power Domain. 161-172
Robert E. Kent:
The Metric Closure Powerspace Construction. 173-199
Karel Hrbacek:
A Powerdomain Construction. 200-212
Steven K. Graham:
Closure Properties of a Probabilistic Domain Construction. 213-233

Michael B. Smyth:
Quasi Uniformities: Reconciling Domains with Metric Spaces. 236-253
Pierre America, Jan J. M. M. Rutten:
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. 254-288
Ernst-Erich Doberkat:
Topological Completeness in an Ideal Model for Polymorphic Types. 289-302
Achim Jung:
New Results on Hierarchies of Domains. 303-310

Stephen D. Brookes:
Semantically Based Axiomatics. 312-330
George M. Reed, A. W. Roscoe:
Metric Spaces as Models for Real-Time Concurrency. 331-343
Thierry Coquand, Carl A. Gunter, Glynn Winskel:
DI-Domains as a Model of Polymorphism. 344-363
Tsutomu Kamimura, Adrian Tang:
Continuous Auxiliary Relations. 364-371
Dieter Spreen:
Computable One-to-one Enumerations of Effective Domains. 372-384

Neil D. Jones, Peter Sestoft, Harald Søndergaard:
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). 386-413
Joylyn Reed:
Semantics-Based Tools for a Specification-Support Environment. 414-424
Laurette Bradley:
A Treatment of Languages with Stages of Evaluation. 425-443
Gerlinde Schreiber:
Operational Semantics and a Distributed Implementation of CSP. 444-454
Kim B. Bruce, Jon G. Riecke:
The Semantics of Miranda's Algebraic Types. 455-473

Adrienne Bloss, Paul Hudak:
Path Semantics. 476-489
Charles Wells, Michael Barr:
The Formal Description of Data Types Using Sketches. 490-527
Maria Zamfir:
Initial Algebra Semantics and Concurrency. 528-549
Uwe F. Pleban, Peter Lee:
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. 550-571
David A. Watt:
An Action Semantics of Standard ML. 572-598
Steven Vickers:
An Algorithmic Approach to the p-adic Integers. 599-615
David B. Benson:
The Shuffle Bialgebra. 616-637