Monad Transformers and Modular Interpreters (1995)

Cached

Download Links

by Sheng Liang , Paul Hudak , Mark Jones
Venue:In Proceedings of the 22nd ACM Symposium on Principles of Programming Languages. ACMPress
Citations:233 - 11 self

Active Bibliography

Modular Monadic Semantics – Sheng Liang, Paul Hudak
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
15 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
120 Modular Domain Specific Languages and Tools – Paul Hudak - 1998
133 Building Domain-Specific Embedded Languages – Paul Hudak - 1996
2 From Interpreter to Compiler using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa - 1998
6 A guide to VLISP, a verified programming language implementation – J. D. Guttman, L. G. Monk, J. D. Ramsdell, W. M. Farmer, V. Swarup - 1992
1 Structuring Functional Programs By Using Monads – Davor Obradovic - 1998
28 The complexity of type inference for higher-order typed lambda calculi – Fritz Henglein, Harry G. Mairson - 1991
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
47 First-class Polymorphism with Type Inference – Mark P. Jones
11 More Advice on Proving a Compiler Correct: Improve a Correct Compiler – E. Meijer, E. Meijer - 1994
31 Asynchronous Signals in Standard ML – John H. Reppy - 1990
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
15 RML -- A New Language and Implementation for Natural Semantics – Mikael Pettersson - 1994
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994