default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd MFPS 1987: Tulane University, New Orleans, Louisiana, USA
- 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
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
Structure Theory of Continuous Posets and Related Objects
- 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
Domain Theory
- 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
Domain Theory and Theoretical Computation
- 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
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 - 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
New Directions
- Adrienne G. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
