Skip to Main content Skip to Navigation
Conference papers

A Typed Monadic Embedding of Aspects

Nicolas Tabareau 1, 2 Ismael Figueroa 3 Éric Tanter 3 
1 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
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 un- derlying type system, in particular phantom types and a new anti- unification type class. The use of monads brings type-based rea- soning 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Nicolas Tabareau Connect in order to contact the contributor
Submitted on : Tuesday, December 11, 2012 - 12:09:39 PM
Last modification on : Wednesday, April 27, 2022 - 3:49:28 AM
Long-term archiving on: : Saturday, December 17, 2016 - 11:51:57 PM


Files produced by the author(s)


  • HAL Id : hal-00763695, version 1


Nicolas Tabareau, Ismael Figueroa, Éric Tanter. A Typed Monadic Embedding of Aspects. 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan. ⟨hal-00763695⟩



Record views


Files downloads