From Operational to Denotational Semantics (1989)

Cached

Download Links

by Scott Smith
Venue:In MFPS 1991
Citations:18 - 6 self

Documents Related by Co-Citation

239 The Lazy Lambda Calculus – Samson Abramsky - 1990
91 A language and axioms for explicit mathematics – S Feferman - 1975
36 From Operational Semantics to Domain Theory – Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
95 Equality In Lazy Computation Systems – Douglas J. Howe - 1998
19 Partial Objects in Type Theory – Scott Fraser Smith - 1989
116 A syntactic theory of sequential control – M Felleisen, D P Friedman, E Kohlbecker, B Duba - 1987
21 Operational Theories of Improvement in Functional Languages (Extended Abstract) – David Sands - 1991
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
130 Lambda-Calculus Models of Programming Languages – J H Morris - 1968
76 Operationally-based theories of program equivalence – Andrew Pitts - 1997
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
7 Partial computations in constructive type theory – Scott F. Smith - 1991
264 Constructive mathematics and computer programming – P Martin-Lof - 1982
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
15 A fully abstract translation between a -calculus with reference types and Standard ML – E Ritter, A M Pitts - 1995
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975