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
Translucid contracts, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, 2011. ,
DOI : 10.1145/1960275.1960293
Harmless advice, Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.383-396, 2006. ,
AspectML, ACM Transactions on Programming Languages and Systems, vol.30, issue.3, 2008. ,
DOI : 10.1145/1353445.1353448
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
Trace-based aspects, Aspect- Oriented Software Development, pp.201-217, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000947
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, pp.7-11, 2011. ,
DOI : 10.1145/1960510.1960513
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
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
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
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
Aspect-oriented programming, Proceedings of the 11th European Conference on Object-Oriented Programming, pp.220-242, 1997. ,
DOI : 10.1007/BFb0053381
Domain specific embedded compilers, Proceedings of the 2nd USENIX Conference on Domain-Specific Languages, pp.109-122, 1999. ,
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
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
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
Aspectual Caml: an aspect-oriented functional language, Proceedings of the 10th ACM SIGPLAN Conference on Functional Programming (ICFP 2005), pp.320-330, 2005. ,
Monads as a theoretical foundation for aop, International Workshop on Aspect-Oriented Programming at ECOOP, page 25, 1997. ,
Notions of computation and monads, Information and Computation, vol.93, issue.1, pp.55-92, 1991. ,
DOI : 10.1016/0890-5401(91)90052-4
EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.109-120 ,
DOI : 10.1145/1739230.1739244
Types and programming languages, 2002. ,
A note on inductive generalization, Machine Intelligence, vol.5, pp.153-163, 1970. ,
Transformational systems and the algebraic structure of atomic formulas, Machine Intelligence, vol.5, pp.135-151, 1970. ,
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. ,
Template meta-programming for Haskell, ACM SIGPLAN Notices, vol.37, issue.12, pp.60-75, 2002. ,
DOI : 10.1145/636517.636528
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
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
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
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
AspectScript, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.13-24 ,
DOI : 10.1145/1739230.1739233
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
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