Monads as a theoretical foundation for AOP (1997)

by Wolfgang De Meuter
Venue:In International Workshop on Aspect-Oriented Programming at ECOOP
Citations:16 - 1 self

Active Bibliography

3 From Inheritance to Feature Interaction or Composing Monads – Christian Prehofer - 1997
Monadic Methods – Wolfgang De, Meuter Theo D'hondt
Modular Monadic Semantics – Sheng Liang, Paul Hudak
12 Monads for Natural Language Semantics – Chung-Chieh Shan
3 Efficient monadic-style backtracking – Ralf Hinze - 1996
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
20 TinkerType: a language for playing with formal systems – Michael Y. Levin, Benjamin C. Pierce - 2003
7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
19 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
4 Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract) – William L. Harrison, Samuel N. Kamin - 1998
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
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
3 On the expressive power of Constructor Classes – Luc Duponcheel, Erik Meijer - 1995
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
6 Defining and Implementing Closed, Domain-Specific Languages – Richard B. Kieburtz - 2000
5 Prological Features In A Functional Setting Axioms And Implementations – Ralf Hinze - 1998
Compound Monads and Models of Computation – Jeremy E. Dawson
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
Monads, Zippers and Views Virtualizing the Monad – Tom Schrijvers, Bruno C. D. S. Oliveira