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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.1610

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.
DOI : 10.1145/1111037.1111071

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

R. Douence, O. Motelet, and M. Südholt, A formal definition of crosscuts, Proceedings of the 3rd International Conference on Metalevel Architectures and Advanced Separation of Concerns, pp.170-186, 2001.
DOI : 10.1007/3-540-45429-2_13

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, N. Tabareau, and É. Tanter, Taming aspects with monads and membranes, Proceedings of the 12th workshop on Foundations of aspect-oriented languages, FOAL '13, pp.1-6, 2013.
DOI : 10.1145/2451598.2451600

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

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
DOI : 10.1145/2162010.2162018

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

E. Hilsdale and J. Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.26-35, 2004.
DOI : 10.1145/976270.976276

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, number 1782 in Lecture Notes in Computer Science, 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, pp.55-92, 1991.

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. Oliveira, T. Schrijvers, and W. R. Cook, MRI: Modular reasoning about interference in incremental programming, Journal of Functional Programming, vol.30, issue.06, pp.797-852, 2012.
DOI : 10.1145/365813.365819

S. , P. Jones, D. Vytiniotis, S. Weirich, and M. Shields, Practical type inference for arbitrary-rank types, Journal of Functional Programming, vol.17, issue.1, pp.1-82, 2007.

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 aspectoriented programs, Proceedings of the 12th ACM Symposium on Foundations of Software Engineering (FSE 12), pp.147-158, 2004.

T. Schrijvers and B. C. Oliveira, Monads, zippers and views: virtualizing the monad stack, Proceedings of the 16th ACM SIGPLAN Conference on Functional Programming, pp.32-44, 2011.

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

N. Tabareau, I. Figueroa, and É. Tanter, A typed monadic embedding of aspects, Proceedings of the 12th annual international conference on Aspect-oriented software development, AOSD '13, pp.171-184, 2013.
DOI : 10.1145/2451436.2451457

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

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

É. Tanter, I. Figueroa, and N. Tabareau, Execution levels for aspect-oriented programming: Design, semantics, implementations and applications, Science of Computer Programming, vol.80, 2013.
DOI : 10.1016/j.scico.2013.09.002

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

É. Tanter, P. Moret, W. Binder, and D. Ansaloni, Composition of dynamic analysis aspects, Proceedings of the 9th ACM SIGPLAN International Conference on Generative Programming and Component Engineering, pp.113-122, 2010.

É. Tanter, N. Tabareau, and R. Douence, Taming aspects with membranes, Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL '12, pp.3-8
DOI : 10.1145/2162010.2162014

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

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, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.1-14, 1992.
DOI : 10.1145/143165.143169

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