Order-Sorted Generalization, Electronic Notes in Theoretical Computer Science, vol.246, pp.27-38, 2009. ,
DOI : 10.1016/j.entcs.2009.07.013
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study, Proceedings of the 22nd European Conference on Object-oriented Programming number 5142 in Lecture Notes in Computer Science, pp.207-234, 2008. ,
DOI : 10.1007/978-3-540-70592-5_10
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
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
Résolution d'équations dans les languages d'ordre 1, 1976. ,
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. ,
DOI : 10.1145/331960.331977
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.2599
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.7459
EffectiveAdvice, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.109-120, 2010. ,
DOI : 10.1145/1739230.1739244
A functional reconstruction of anti-unification, 2004. ,
Unification and anti-unification in the calculus of constructions, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.74-85, 1991. ,
DOI : 10.1109/LICS.1991.151632
Types and programming languages, 2002. ,
A note on inductive generalization, Machine Intelligence, vol.5, pp.153-163, 1970. ,
Persistence as an aspect, Proceedings of the 2nd international conference on Aspect-oriented software development, AOSD '03, pp.120-129, 2003. ,
DOI : 10.1007/978-3-662-05851-0_6
Transformational systems and the algebraic structure of atomic formulas, Machine Intelligence, vol.5, pp.135-151, 1970. ,
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
Composition of dynamic analysis aspects, Proceedings of the 9th ACM SIGPLAN International Conference on Generative Programming and Component Engineering, pp.113-122, 2010. ,
Giving Haskell a promotion, Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation, TLDI '12, pp.53-66, 2012. ,
DOI : 10.1145/2103786.2103795