- 1988
- Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
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 [contents] - 1987
- Pierre America, Jan J. M. M. Rutten:
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. MFPS 1987: 254-288 - David B. Benson:
The Shuffle Bialgebra. MFPS 1987: 616-637 - Adrienne G. Bloss, Paul Hudak:
Path Semantics. MFPS 1987: 476-489 - Laurette Bradley:
A Treatment of Languages with Stages of Evaluation. MFPS 1987: 425-443 - Stephen D. Brookes:
Semantically Based Axiomatics. MFPS 1987: 312-330 - Kim B. Bruce, Jon G. Riecke:
The Semantics of Miranda's Algebraic Types. MFPS 1987: 455-473 - Aurelio Carboni, Peter J. Freyd, Andre Scedrov:
A Categorical Approach to Realizability and Polymorphic Types. MFPS 1987: 23-42 - Thierry Coquand, Carl A. Gunter, Glynn Winskel:
DI-Domains as a Model of Polymorphism. MFPS 1987: 344-363 - Ernst-Erich Doberkat:
Topological Completeness in an Ideal Model for Polymorphic Types. MFPS 1987: 289-302 - Steven K. Graham:
Closure Properties of a Probabilistic Domain Construction. MFPS 1987: 213-233 - John W. Gray:
A Categorical Treatment of Polymorphic Operations. MFPS 1987: 2-22 - Karel Hrbacek:
A Powerdomain Construction. MFPS 1987: 200-212 - Neil D. Jones, Peter Sestoft, Harald Søndergaard
:
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). MFPS 1987: 386-413 - Achim Jung:
New Results on Hierarchies of Domains. MFPS 1987: 303-310 - Tsutomu Kamimura, Adrian Tang:
Continuous Auxiliary Relations. MFPS 1987: 364-371 - Robert E. Kent:
The Metric Closure Powerspace Construction. MFPS 1987: 173-199 - Jimmie D. Lawson:
The Versatile Continuous Order. MFPS 1987: 134-160 - Ernie Manes:
Assertional Categories. MFPS 1987: 85-120 - Michael W. Mislove:
On the Smyth Power Domain. MFPS 1987: 161-172 - Philip S. Mulry:
Kan Extensions in Effective Semantics. MFPS 1987: 121-132 - Uwe F. Pleban, Peter Lee:
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. MFPS 1987: 550-571 - Joylyn Reed:
Semantics-Based Tools for a Specification-Support Environment. MFPS 1987: 414-424 - George M. Reed, A. W. Roscoe:
Metric Spaces as Models for Real-Time Concurrency. MFPS 1987: 331-343 - György E. Révész:
Rule-Based Semantics for an Extended Lambda-Calculus. MFPS 1987: 43-56 - Gerlinde Schreiber:
Operational Semantics and a Distributed Implementation of CSP. MFPS 1987: 444-454 - Michael B. Smyth:
Quasi Uniformities: Reconciling Domains with Metric Spaces. MFPS 1987: 236-253 - Dieter Spreen:
Computable One-to-one Enumerations of Effective Domains. MFPS 1987: 372-384 - Steven Vickers:
An Algorithmic Approach to the p-adic Integers. MFPS 1987: 599-615 - Eric G. Wagner:
Semantics of Block Structured Languages with Pointers. MFPS 1987: 57-84
