Relating Operational and Denotational Semantics for Input/Output Effects (1999)

Cached

Download Links

by Roy L. Crole , Andrew D. Gordon
Citations:7 - 3 self

Active Bibliography

10 A Sound Metalogical Semantics for Input/Output Effects – Roy L. Crole, Andrew D. Gordon - 1994
5 Full Abstraction by Translation – Guy Mccusker - 1996
9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
31 Relational Reasoning about Functions and Nondeterminism – Søren Bøgh Lassen, Søren Bøgh Lassen - 1998
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
75 Operationally-based theories of program equivalence – Andrew Pitts - 1997
2 Bisimilarity for the region calculus – Simon Helsen
5 Themes in Final Semantics – Marina Lenisa - 1998
Computational Adequacy of the FIX-Logic – Roy L. Crole - 1995
Deriving Category Theory from Type Theory – Roy L. Crole - 1993
1 On Fixpoint Objects and Gluing Constructions – Roy L. Crole - 1997
94 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994
Concurrent Haskell – Simon Peyton, Andrew Gordon, Sigbjorn Finne - 1996