View publication
| Title | A Typed Monadic Embedding of Aspects |
| Authors | Nicolas Tabareau, Ismael Figueroa, Éric Tanter |
| Publication date | 2013 |
| Abstract | We describe a novel approach to embed pointcut/advice aspects in a typed functional programming language like Haskell. Aspects are first-class, can be deployed dynamically, and the pointcut language is extensible. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. The use of monads brings type-based reasoning about effects for the first time in the pointcut/advice setting, thereby practically combining Open Modules and EffectiveAdvice, and enables modular extensions of the aspect language. |
| Pages | 171-184 |
| Conference name | International Conference on Aspect-Oriented Software Development |
| Publisher | ACM Press (New York, NY, USA) |
| Reference URL |
|