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 BibTeX

@proceedings{DBLP:conf/mfps/1987,
  editor    = {Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
  title     = {Mathematical Foundations of Programming Language Semantics, 3rd
                Workshop, Tulane University, New Orleans, Louisiana, USA, April
               8-10, 1987, Proceedings},
  booktitle = {MFPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {298},
  year      = {1988},
  isbn      = {3-540-19020-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Categorical and Algebraic Methods

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

Structure Theory of Continuous Posets and Related Objects

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

Domain Theory

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

Domain Theory and Theoretical Computation

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

Implemetation Issues

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

New Directions

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