Modular Monadic Semantics and Compilation (1998)

Cached

Download Links

by Sheng Liang
Citations:28 - 0 self

Documents Related by Co-Citation

234 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
165 An Abstract View of Programming Languages – E Moggi - 1989
1312 Monads for functional programming – Philip Wadler - 1995
37 Semantic Lego – David Espinosa - 1995
473 Denotational Semantics: the Scott-Strachey approach to programming Language Theory – J Stoy - 1985
733 Notions of Computation and Monads – Eugenio Moggi - 1991
56 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
147 Modular Denotational Semantics – P Mosses - 1979
458 Comprehending Monads – Philip Wadler - 1992
9 Modular Compilers and their Correctness Proofs – W Harrison - 2001
23 A Formal Semantics for the C Programming Language – Nikolaos S. Papaspyrou - 1998
20 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
7 A modular semantics for compiler generation – S Liang - 1995
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
728 Security policies and security models – J A Goguen, J Meseguer - 1982
11 A Resumption Monad Transformer and its Applications in the Semantics of Concurrency – Nikolaos S. Papaspyrou - 2001
30 A poor man’s concurrency monad – K Claessen - 1999
13 The Fox Project: Advanced Language Technology for Extensible Systems – Robert Harper, Peter Lee, Frank Pfenning - 1998
133 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