Modular Monadic Semantics

Cached

Download Links

by Sheng Liang , Paul Hudak

Active Bibliography

55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
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
10 Using Catamorphisms, Subtypes and Monad Transformers for Writing Modular Functional Interpreters. – Luc Duponcheel - 1995
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
7 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
3 Efficient monadic-style backtracking – Ralf Hinze - 1996
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
1 Denotational semantics of ANSI C – Nikolaos S. Papaspyrou - 2001
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
55 Representing Layered Monads – Andrzej Filinski - 1999