Modular Denotational Semantics for Compiler Construction (1996)

Cached

Download Links

by Sheng Liang , Paul Hudak
Venue:In European Symposium on Programming
Citations:55 - 4 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
456 Comprehending Monads – Philip Wadler - 1992
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
730 Notions of Computation and Monads – Eugenio Moggi - 1991
93 Eli: A complete, flexible compiler construction system – R W GRAY, V P HEURING, S P LEVI, A M SLOANE, W M WAITE - 1992
54 Formal syntax and semantics of programming languages – K Slonneger, B L Kurtz - 1995
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999
21 Action Semantics. Cambridge Tracts in Theoretical Computer Science 26 – P D Mosses - 1992
163 An abstract view of programming languages – E Moggi - 1989
34 Action Semantics. Number 26 – P D Mosses - 1992
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
9 An Experiment Using Haskell To Prototype "Geometric Region Servers" for Navy Command And Control – W E Carlson, P Hudak, M P Jones - 1993
20 Building interpreters by composing monads – G L Steele Jr - 1994
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
4 Prototyping demonstration problem for the prototech hiper-d joint prototyping demonstration project – J Caruso - 1993
9 Modular Denotational Semantics. Unpublished Manuscript – D Espinosa - 1993
24 Composing programming languages by combining action-semantics modules – Kyung-Goo Doh, Peter D Mosses