J. Aldrich, Open Modules: Modular Reasoning About Advice, Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005), number 3586 in Lecture Notes in Computer Science, pp.144-168, 2005.
DOI : 10.1007/11531142_7

M. Bagherzadeh, H. Rajan, G. T. Leavens, and S. Mooney, Translucid contracts, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, 2011.
DOI : 10.1145/1960275.1960293

D. S. Dantas and D. Walker, Harmless advice, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.383-396, 2006.

D. S. Dantas, D. Walker, G. Washburn, and S. Weirich, AspectML, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, 2008.
DOI : 10.1145/1353445.1353448

B. De-fraine, M. Südholt, and V. Jonckers, StrongAspectJ, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.60-71
DOI : 10.1145/1353482.1353491

URL : https://hal.archives-ouvertes.fr/inria-00473628

R. Douence, P. Fradet, and M. Südholt, Trace-based aspects, Aspect- Oriented Software Development, pp.201-217, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000947

C. Dutchyn, D. B. Tucker, and S. Krishnamurthi, 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

I. Figueroa and É. Tanter, A semantics for execution levels with exceptions, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL '11, pp.7-11, 2011.
DOI : 10.1145/1960510.1960513

I. Figueroa, É. Tanter, and N. Tabareau, A practical monadic aspect weaver, Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL '12, pp.21-26, 2012.
DOI : 10.1145/2162010.2162018

URL : https://hal.archives-ouvertes.fr/hal-00690717

C. Hofer and K. Ostermann, On the relation of aspects and monads, Proceedings of the 6th workshop on Foundations of aspect-oriented languages , FOAL '07, pp.27-33, 2007.
DOI : 10.1145/1233833.1233838

M. P. Jones, Type Classes with Functional Dependencies, Proceedings of the 9th European Symposium on Programming Languages and Systems, ESOP '00, pp.230-244, 2000.
DOI : 10.1007/3-540-46425-5_15

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming number 2072 in Lecture Notes in Computer Science, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-oriented programming, Proceedings of the 11th European Conference on Object-Oriented Programming, pp.220-242, 1997.
DOI : 10.1007/BFb0053381

D. Leijen and E. Meijer, Domain specific embedded compilers, Proceedings of the 2nd USENIX Conference on Domain-Specific Languages, pp.109-122, 1999.

S. Liang, P. Hudak, and M. Jones, Monad transformers and modular interpreters, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.333-343, 1995.
DOI : 10.1145/199448.199528

H. Masuhara and K. Kawauchi, Dataflow Pointcut in Aspect-Oriented Programming, Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS'03), pp.105-121, 2003.
DOI : 10.1007/978-3-540-40018-9_8

H. Masuhara, G. Kiczales, and C. Dutchyn, A Compilation and Optimization Model for Aspect-Oriented Programs, Proceedings of Compiler Construction (CC2003), volume 2622 of Lecture Notes in Computer Science, pp.46-60, 2003.
DOI : 10.1007/3-540-36579-6_4

H. Masuhara, H. Tatsuzawa, and A. Yonezawa, Aspectual Caml: an aspect-oriented functional language, Proceedings of the 10th ACM SIGPLAN Conference on Functional Programming (ICFP 2005), pp.320-330, 2005.

W. D. Meuter, Monads as a theoretical foundation for aop, International Workshop on Aspect-Oriented Programming at ECOOP, page 25, 1997.

E. Moggi, Notions of computation and monads, Information and Computation, vol.93, issue.1, pp.55-92, 1991.
DOI : 10.1016/0890-5401(91)90052-4

B. C. Oliveira, T. Schrijvers, and W. R. Cook, EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.109-120
DOI : 10.1145/1739230.1739244

B. C. Pierce, Types and programming languages, 2002.

G. D. Plotkin, A note on inductive generalization, Machine Intelligence, vol.5, pp.153-163, 1970.

J. C. Reynolds, Transformational systems and the algebraic structure of atomic formulas, Machine Intelligence, vol.5, pp.135-151, 1970.

M. Rinard, A. Salcianu, and S. Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM Symposium on Foundations of Software Engineering (FSE 12), pp.147-158, 2004.

T. Sheard and S. P. Jones, Template meta-programming for Haskell, ACM SIGPLAN Notices, vol.37, issue.12, pp.60-75, 2002.
DOI : 10.1145/636517.636528

M. Sulzmann and M. Wang, Aspect-oriented programming with type classes, Proceedings of the 6th workshop on Foundations of aspect-oriented languages , FOAL '07, pp.65-74, 2007.
DOI : 10.1145/1233833.1233842

N. Tabareau, 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

É. Tanter, Expressive scoping of dynamically-deployed aspects, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.168-179
DOI : 10.1145/1353482.1353503

É. Tanter, 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

R. Toledo, P. Leger, and É. Tanter, AspectScript, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.13-24
DOI : 10.1145/1739230.1739233

P. Wadler and S. Blott, How to make ad-hoc polymorphism less ad hoc, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.60-76, 1989.
DOI : 10.1145/75277.75283

M. Wand, G. Kiczales, and C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems, vol.26, issue.5, pp.890-910, 2004.
DOI : 10.1145/1018203.1018208