Modular Monadic Semantics and Compilation (1998)

Cached

Download Links

by Sheng Liang
Citations:28 - 0 self

Active Bibliography

Modular Monadic Semantics – Sheng Liang, Paul Hudak
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
3 Efficient monadic-style backtracking – Ralf Hinze - 1996
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
Grammars of Syntactical Functions – Ralf Lämmel, Universitt Rostock, Fachbereich Informatik
10 The Functions of Java Bytecode – Mark P. Jones - 1998
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
Abstract DRAFT – unknown authors
Presheaf models for the π-calculus – Ian Stark - 1997
Aspect-Oriented Programming versus Reflection – J. Malenfant, P. Cointe - 1996
Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates – J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio, A. Cernuda Del Río - 2001
2 Deriving Monad Transformers – Ralf Hinze - 1999
1 A case study in specifying the denotational semantics of C – N. S. Papaspyrou - 1999
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
3 Domain separation by construction – William Harrison, Mark Tullsen, James Hook - 2003
5 Prological Features In A Functional Setting Axioms And Implementations – Ralf Hinze - 1998