Abstract is missing.
- A Categorical Treatment of Polymorphic OperationsJohn W. Gray. 2-22
- A Categorical Approach to Realizability and Polymorphic TypesAurelio Carboni, Peter J. Freyd, Andre Scedrov. 23-42
- Rule-Based Semantics for an Extended Lambda-CalculusGyörgy E. Révész. 43-56
- Semantics of Block Structured Languages with PointersEric G. Wagner. 57-84
- Assertional CategoriesErnie Manes. 85-120
- Kan Extensions in Effective SemanticsPhilip S. Mulry. 121-132
- The Versatile Continuous OrderJimmie D. Lawson. 134-160
- On the Smyth Power DomainMichael W. Mislove. 161-172
- The Metric Closure Powerspace ConstructionRobert E. Kent. 173-199
- A Powerdomain ConstructionKarel Hrbacek. 200-212
- Closure Properties of a Probabilistic Domain ConstructionSteven K. Graham. 213-233
- Quasi Uniformities: Reconciling Domains with Metric SpacesMichael B. Smyth. 236-253
- Solving Reflexive Domain Equations in a Category of Complete Metric SpacesPierre America, Jan J. M. M. Rutten. 254-288
- Topological Completeness in an Ideal Model for Polymorphic TypesErnst-Erich Doberkat. 289-302
- New Results on Hierarchies of DomainsAchim Jung. 303-310
- Semantically Based AxiomaticsStephen D. Brookes. 312-330
- Metric Spaces as Models for Real-Time ConcurrencyGeorge M. Reed, A. W. Roscoe. 331-343
- DI-Domains as a Model of PolymorphismThierry Coquand, Carl A. Gunter, Glynn Winskel. 344-363
- Continuous Auxiliary RelationsTsutomu Kamimura, Adrian Tang. 364-371
- Computable One-to-one Enumerations of Effective DomainsDieter Spreen. 372-384
- MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)Neil D. Jones, Peter Sestoft, Harald Søndergaard. 386-413
- Semantics-Based Tools for a Specification-Support EnvironmentJoylyn Reed. 414-424
- A Treatment of Languages with Stages of EvaluationLaurette Bradley. 425-443
- Operational Semantics and a Distributed Implementation of CSPGerlinde Schreiber. 444-454
- The Semantics of Miranda s Algebraic TypesKim B. Bruce, Jon G. Riecke. 455-473
- Path SemanticsAdrienne Bloss, Paul Hudak. 476-489
- The Formal Description of Data Types Using SketchesCharles Wells, Michael Barr. 490-527
- Initial Algebra Semantics and ConcurrencyMaria Zamfir. 528-549
- High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of ImplementationsUwe F. Pleban, Peter Lee. 550-571
- An Action Semantics of Standard MLDavid A. Watt. 572-598
- An Algorithmic Approach to the p-adic IntegersSteven Vickers. 599-615
- The Shuffle BialgebraDavid B. Benson. 616-637