Extensible Denotational Language Specifications (1994)

Cached

Download Links

by Robert Cartwright , Matthias Felleisen
Venue:SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, NUMBER 789 IN LNCS
Citations:32 - 5 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
300 Natural semantics – G. Kahn - 1987
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
30 Theory and Practice of Action Semantics – Peter D. Mosses, Peter D. Mosses - 1996
34 Action Semantics. Number 26 – P D Mosses - 1992
730 Notions of Computation and Monads – Eugenio Moggi - 1991
16 Inductive and operational semantics – E Astesiano - 1991
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
39 Enhanced Operational Semantics – Pierpaolo Degano, Corrado Priami - 1996
127 Operational and algebraic semantics of concurrent processes – R Milner - 1990
146 A Tutorial on Action Semantics – Peter D Mosses - 1996
60 Mixin Modules – Dominic Duggan, Constantinos Sourelis - 1996
21 A modular monadic action semantics – Keith Wansbrough, Keith Wansbrough, John Hamer, John Hamer - 1997
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
6 rewriting logic – modularity Semantics - 1998
136 Semantics with Applications: A Formal Introduction – Hanne Riis Nielson, Flemming Nielson - 1992