General Terms Languages, theory

Cached

Download Links

by Unknown Authors

Active Bibliography

1 Aspect-oriented programming with type classes. http://www.comp.nus.edu.sg/˜ sulzmann – Martin Sulzmann, Meng Wang, Type-directed Static Weaving - 2006
3 MRI: Modular reasoning about interference in incremental programming – Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook - 2012
2 Type Relaxed Weaving – Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
10 Aspects preserving properties – Simplice Djoko Djoko, Rémi Douence, Pascal Fradet - 2008
On Feature Orientation and Functional Programming – Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer - 2008
AspectML: . . . functional programming language – Daniel Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich - 2008
10 Feature (De)composition in Functional Programming – Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer - 2009
22 Typed Parametric Polymorphism for Aspects – Radha Jagadeesan, Alan Jeffrey, James Riely - 2006
and – Daniel S. Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
14 EffectiveAdvice: Disciplined Advice with Explicit Effects – Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Programming Systems – Andreas Rossberg, Martin Sulzmann
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
Extracting Programs from . . . – Martin Sulzmann - 2006
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
9 Javagi: Generalized interfaces for java – Stefan Wehr, Ralf Lämmel, Peter Thiemann - 2007
14 Type Classes and Constraint Handling Rules – Kevin Glynn, Peter J. Stuckey, Martin Sulzmann - 2000
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002