Open Modules: Modular Reasoning About Advice, ECOOP 2005, pp.144-168 ,
DOI : 10.1007/11531142_7
abc, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.293-334, 2006. ,
DOI : 10.1145/1052898.1052906
Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, vol.63, issue.3, pp.207-239, 2006. ,
DOI : 10.1016/j.scico.2006.01.003
A semantics for execution levels with exceptions, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL '11, 2011. ,
DOI : 10.1145/1960510.1960513
On the relation of aspects and monads, Proceedings of the 6th workshop on Foundations of aspect-oriented languages , FOAL '07, 2007. ,
DOI : 10.1145/1233833.1233838
An Overview of AspectJ, pp.327-353, 2001. ,
DOI : 10.1007/3-540-45337-7_18
EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.109-120 ,
DOI : 10.1145/1739230.1739244
A monadic interpretation of execution levels and exceptions for AOP, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12, 2012. ,
DOI : 10.1145/2162049.2162059
URL : https://hal.archives-ouvertes.fr/inria-00592132
Execution levels for aspect-oriented programming, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.37-48 ,
DOI : 10.1145/1739230.1739236
URL : https://hal.archives-ouvertes.fr/hal-00872786
The design and implementation of Typed Scheme, POPL 2008, pp.395-406 ,