Modular Monadic Semantics and Compilation (1998)

Cached

Download Links

by Sheng Liang
Citations:28 - 0 self

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
163 An abstract view of programming languages – E Moggi - 1989
35 Semantic Lego – David Espinosa - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
456 Comprehending Monads – Philip Wadler - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
721 Security policies and security models – J A Goguen, J Meseguer - 1982
8 Modular Compilers and Their Correctness Proofs – W Harrison - 2001
19 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
7 A modular semantics for compiler generation – S Liang - 1995
146 A Tutorial on Action Semantics – Peter D Mosses - 1996
13 The Fox Project: Advanced Language Technology for Extensible Systems – Robert Harper, Peter Lee, Frank Pfenning - 1998
11 A Resumption Monad Transformer and its Applications in the Semantics of Concurrency – Nikolaos S. Papaspyrou - 2001
132 The SwitchWare Active Network Architecture – D. Scott Alexander, William A. Arbaugh, Michael W. Hicks, Pankaj Kakkar, Angelos D. Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles, Jonathan M. Smith - 1998
31 A poor man’s concurrency monad – K Claessen - 1999
20 Building interpreters by composing monads – G L Steele Jr - 1994