|
1
|
Aspect-oriented programming with type classes. http://www.comp.nus.edu.sg/˜ sulzmann
– Martin Sulzmann, Meng Wang, Type-directed Static Weaving
- 2006
|
|
|
MRI: Modular reasoning about interference in incremental
– Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook, Bruno C. D. S. Oliveira, Tom Schrijvers, Tom Schrijvers, William R. Cook
|
|
9
|
Aspects preserving properties
– Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- 2008
|
|
2
|
Type Relaxed Weaving
– Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama
|
|
|
On Feature Orientation and Functional Programming
– Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer
- 2008
|
|
16
|
Typed Parametric Polymorphism for Aspects
– Radha Jagadeesan, Alan Jeffrey, James Riely
- 2006
|
|
9
|
Feature (De)composition in Functional Programming
– Sven Apel, Christian Kästner, Armin Größlinger, Christian Lengauer
- 2009
|
|
|
AspectML: . . . functional programming language
– Daniel Dantas, David Walker, Geoffrey Washburn, Stephanie Weirich
- 2008
|
|
10
|
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
|
|
14
|
Type Classes and Constraint Handling Rules
– Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
- 2000
|
|
|
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
|
|
4
|
Making Implicit Parameters Explicit
– Atze Dijkstra, S. Doaitse Swierstra
- 2005
|
|
9
|
Javagi: Generalized interfaces for java
– Stefan Wehr, Ralf Lämmel, Peter Thiemann
- 2007
|
|
|
Monads for Incremental Computing - Functional Pearl
– Magnus Carlsson
- 2002
|
|
1
|
What Does Aspect-Oriented Programming Mean for Functional Programmers?
– Meng Wang, Bruno C. D. S. Oliveira
|
