M. Alpuente, S. Escobar, J. Meseguer, and P. Ojeda, Order-Sorted Generalization, Electronic Notes in Theoretical Computer Science, vol.246, pp.27-38, 2009.
DOI : 10.1016/j.entcs.2009.07.013

R. Coelho, A. Rashid, A. Garcia, N. Cacho, U. Kulesza et al., 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

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

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

G. Huet, Résolution d'équations dans les languages d'ordre 1, 1976.

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.
DOI : 10.1145/331960.331977
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.2599

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.7459

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, 2010.
DOI : 10.1145/1739230.1739244

B. Østvold, A functional reconstruction of anti-unification, 2004.

F. Pfenning, 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

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

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

A. Rashid and R. Chitchyan, 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

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

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

B. A. Yorgey, S. Weirich, J. Cretin, S. P. Jones, D. Vytiniotis et al., 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