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:34 - 5 self

Documents Related by Co-Citation

1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
307 Natural semantics – G. Kahn - 1987
734 Notions of Computation and Monads – Eugenio Moggi - 1991
236 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
260 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992