L. Monad-transformer, 155 A.2.1 Identity Preservation, p.155

A. , M. Morphism, and .. , 155 A.3.1 Identity preservation, p.156

. Fibonacci-functionoliveira, Left: in the simple pointcut/advice model of Chapter 12 Right: in the MRI setting (taken from, p.125, 2012.

A. , I. Gasiunas, V. Mezini, M. And-ostermann, and K. , An overview of CaesarJ, Transactions on Aspect-Oriented Software Development, pp.135-173, 2006.

A. , A. And-noyé, and J. , Dynamic AspectJ, Proceedings of the 4th ACM Dynamic Languages Symposium, p.36, 2008.

A. , P. Christensen, A. S. Hendren, L. Kuzins, S. Lhoták et al., Optimising AspectJ, Proceedings of the ACM Conference on Programming Language Design and Implementation, 2005.

A. , P. Christensen, A. S. Hendren, L. Kuzins, S. Lhoták et al., abc: an extensible AspectJ compiler, Transactions on Aspect-Oriented Software Development, pp.293-334, 2006.

B. , M. Rajan, H. Leavens, G. T. And-mooney, and S. , Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces, p.135, 2011.

B. , C. Sewe, A. Mezini, M. And-ak¸sitak¸-ak¸sit, and M. , An overview of alia4j: An execution model for advanced-dispatching languages, pp.131-146, 2011.

B. , E. Tanter, É. And-inostroza, and M. , Join point interfaces for safe and flexible decoupling of aspects, ACM Transactions on Software Engineering and Methodology, vol.23, issue.127, pp.1-7, 2014.

C. , L. And-wegner, and P. , On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, vol.17, issue.4, pp.471-523, 1985.

C. , C. And-leavens, and G. T. , Observers and assistants: A proposal for modular aspectoriented reasoning, Proceedings of the 1st Workshop on Foundations of Aspect-Oriented Languages, pp.2-06, 2002.

C. , C. Leavens, G. T. Chambers, C. And-millstein, and T. , MultiJava: Modular open classes and symmetric multiple dispatch in Java, Proceedings of the 15th International Conference on Object-Oriented Programming Systems, Languages and Applications, pp.130-145, 2000.

C. , C. Leavens, G. T. And-noble, and J. , MAO: Ownership and effects for more effective reasoning about aspects, Proceedings of the 21st European Conference on Object-oriented Programming Number 4609 in Lecture Notes in Computer Science, pp.451-475, 2007.

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

D. , D. S. Walker, D. Washburn, G. And-weirich, and S. , AspectML: A polymorphic aspect-oriented functional programming language, ACM Transactions on Programming Languages and Systems, vol.30, issue.74, pp.31-36, 2008.

D. Fraine, B. Südholt, M. And-jonckers, and V. , StrongAspectJ, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.60-71, 2008.
DOI : 10.1145/1353482.1353491
URL : https://hal.archives-ouvertes.fr/inria-00473628

D. Meuter and W. , Monads as a theoretical foundation for aop, International Workshop on Aspect-Oriented Programming at ECOOP, pp.31-73, 1997.

D. , B. Keuchel, S. Schrijvers, T. And-oliveira, and B. C. , Modular monadic meta-theory, Proceedings of the 18th ACM SIGPLAN Conference on Functional Programming, p.141, 2013.

D. , C. And, and S. Katz, Specification and verification of event detectors and responses, See Kinzle, p.135, 2013.

D. Djoko, S. Douence, R. Fradet, P. And, L. Botlan et al., CASB: Common aspect semantics base, p.135, 2006.

D. , R. Fradet, P. And-südholt, and M. , A framework for the detection and resolution of aspect interactions, Proceedings of the 1st ACM SIGPLAN, pp.173-188, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00000950

D. , R. Fradet, P. And-südholt, and M. , Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd ACM International Conference on Aspect-Oriented Software Development, pp.141-150, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000946

D. , R. Fradet, P. And-südholt, and M. , Trace-based aspects, pp.201-217, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000947

D. , R. Motelet, O. And-südholt, and M. , A formal definition of crosscuts, Proceedings of the 3rd International Conference on Metalevel Architectures and Advanced Separation of Concerns, pp.170-186, 2001.

D. , C. Tucker, D. B. And-krishnamurthi, and S. , Semantics and scoping of aspects in higher-order languages, Science of Computer Programming, vol.63, issue.74, pp.207-239, 2006.

E. , T. And, and G. Hedin, The JastAdd extensible Java compiler, Proceedings of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp.1-18, 2007.

F. , J. And-galdames, and D. , PHANtom: a modern aspect language for Pharo Smalltalk, Software?Practice and Experience, vol.44, issue.4, pp.393-412, 2014.

F. , J. Kellens, A. Denier, S. And-ducasse, and S. , AspectMaps: Extending Moose to visualize AOP software, Science of Computer Programming, vol.79, issue.1, pp.6-22, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01086997

F. , I. Schrijvers, T. Tabareau, N. And-tanter, and É. , Compositional reasoning about aspect interference, Proceedings of the 13th International Conference on Modularity, pp.133-144, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00919935

F. , I. Tabareau, N. And-tanter, and É. , Taming aspects with monads and membranes, Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, pp.1-6, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00808983

F. , I. Tabareau, N. And-tanter, and É. , Effective Aspects: A typed monadic embedding of aspects, pp.145-192, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00872782

F. , I. And-tanter, and É. , A semantics for execution levels with exceptions, Proceedings of the 10th Workshop on Foundations of Aspect-Oriented Languages, pp.7-11, 2011.

F. , I. Tanter, É. And-tabareau, and N. , A practical monadic aspect weaver, pp.21-26, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00690717

F. , R. E. And, and D. P. Friedman, Aspect-oriented programming is quantification and obliviousness, p.36, 2000.

G. , W. G. Sullivan, K. Song, Y. Shonle, M. Tewari et al., Modular software design with crosscutting interfaces, IEEE Software, vol.23, issue.128, pp.51-60, 2006.

H. , C. And, and K. Ostermann, On the relation of aspects and monads, Proceedings of AOSD Workshop on Foundations of Aspect-Oriented Languages, pp.27-33, 2007.

H. , K. And-eugster, and P. , Bridging Java and AspectJ through explicit join points, Proceedings of the 9th International Symposium on Principles and Practice of Programming in Java, pp.63-72, 2007.

K. , A. Mens, K. And-tonella, and P. , A survey of automated code-level aspect mining techniques. Transactions on Aspect-Oriented Software Development, pp.143-162, 2007.

K. , G. Hilsdale, E. Hugunin, J. Kersten, M. 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.

K. , G. Irwin, J. Lamping, J. Loingtier, J. Lopes et al., Aspect oriented programming, In Special Issues in Object-Oriented Programming. Max Muehlhaeuser, vol.5, p.35, 1996.

K. , G. Lamping, J. Mendhekar, A. Maeda, C. Lopes et al., Aspect-oriented programming, Proceedings of the 11th European Conference on Object-Oriented Programming, pp.220-242, 1997.

K. , G. And, and M. Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering, pp.49-58, 2005.

K. , S. Fisler, K. And-greenberg, and M. , Verifying aspect advice modularly, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12, pp.137-146, 2004.

L. , J. A. Peyton-jones, and S. L. , Lazy functional state threads, ACM SIGPLAN Notices, vol.29, issue.6, pp.24-35, 1994.

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

L. , S. Hudak, P. And-jones, and M. , Monad transformers and modular interpreters, Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL 95, pp.333-343, 1995.

L. , K. Silva-lepe, and I. , Adaptive object-oriented programming using graph-based customization, Communications of the ACM, vol.37, issue.5, pp.94-101, 1994.

M. , H. And, and K. Kawauchi, Dataflow pointcut in aspect-oriented programming, Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS'03). Lecture Notes in Computer Science Series, pp.105-121, 2003.

M. , H. And-kiczales, and G. , Modeling crosscutting in aspect-oriented mechanisms, Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP 2003), L. Cardelli Number 2743 in Lecture Notes in Computer Science, pp.2-28, 2003.

M. , H. Kiczales, G. And-dutchyn, and C. , A compilation and optimization model for aspect-oriented programs, Proceedings of Compiler Construction (CC2003), pp.46-60, 2003.

M. , H. Tatsuzawa, H. And-yonezawa, and A. , Aspectual Caml: an aspect-oriented functional language, Proceedings of the 10th ACM SIGPLAN Conference on Functional Programming, pp.320-330, 2005.

O. , B. C. Schrijvers, T. And-cook, and W. R. , EffectiveAdvice: discplined advice with explicit effects, pp.109-120, 2010.

O. , B. C. Schrijvers, T. And-cook, and W. R. , MRI: Modular reasoning about interference in incremental programming, Journal of Functional Programming, vol.22, issue.133, pp.797-852, 2012.

O. , H. L. And-tarr, and P. L. , Multi-dimensional separation of concerns and the hyperspace approach, Software Architectures and Component Technology The Kluwer International Series in Engineering and Computer Science Series, p.35, 2001.

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

R. , H. And-leavens, and G. T. , Ptolemy: A language with quantified, typed events, Proceedings of the 22nd European Conference on Object-oriented Programming Number 5142 in Lecture Notes in Computer Science, pp.155-179, 2008.

R. , J. C. Bibliography-reynolds, and J. C. , Transformational systems and the algebraic structure of atomic formulas Types, abstraction, and parametric polymorphism, Information Processing, pp.135-151, 1970.

R. , M. Salcianu, A. And-bugrara, and S. , 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.

S. , T. And, 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.

S. , T. And, and S. P. Jones, Template meta-programming for haskell. SIGPLAN Not, pp.60-75, 2002.

S. , F. Pawlitzki, T. Apel, S. And-kästner, and C. , Types and modularity for implicit invocation with implicit announcement, ACM Transactions on Software Engineering and Methodology, vol.20, issue.1, p.36, 2010.

S. , K. Griswold, W. G. Rajan, H. Song, Y. Cai et al., Modular aspect-oriented design with XPIs Article 5, ACM Transactions on Software Engineering and Methodology, vol.20, issue.2, p.36, 2010.

S. , M. A. Wang, and M. , Aspect-oriented programming with type classes, Proceedings of the Sixth Workshop on Foundations of Aspect-Oriented Languages, pp.65-74, 2007.

T. , N. Figueroa, I. And-tanter, and É. , A typed monadic embedding of aspects, See Kinzle, vol.34, pp.171-184, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00763695

T. , É. Figueroa, I. And-tabareau, and N. , Execution levels for aspect-oriented programming: Design, semantics, implementations and applications, Science of Computer Programming, vol.80, issue.132, pp.311-342, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00872786

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

T. , É. Tabareau, N. And-douence, and R. , Taming aspects with membranes, pp.3-8, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00690706

T. , P. L. Ossher, H. L. Harrison, W. H. And, J. et al., N degrees of separation: Multi-dimensional separation of concerns, International Conference on Software Engineering, pp.107-119, 1999.

T. , R. Leger, P. And-tanter, and É. , AspectScript: Expressive aspects for the Web, pp.13-24, 2010.

W. , P. And-blott, and S. , How to make ad-hoc polymorphism less ad hoc, Proceedings of the 16th ACM Symposium on Principles of Programming Languages, pp.60-76, 1989.

W. , D. Zdancewic, S. And-ligatti, and J. , A theory of aspects, Proceedings of the 8th ACM SIGPLAN Conference on Functional Programming, pp.127-139, 2003.

W. , M. Kiczales, G. And-dutchyn, and C. , A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems, vol.26, issue.73, pp.890-910, 2004.