[{"text":"\n\n\nDon Batory , Maider Azanza , João Saraiva, The Objects and Arrows of Computational Design, Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, September 28-October 03, 2008, Toulouse, France   [doi>10.1007/978-3-540-87875-9_1]\n\n","citation":"1434659"},{"text":"\n\nR. Blackwell, G. Kelly, and A. Power. Two-dimensional monad theory. Journal of Pure and Applied Algebra, 59(1):1--41, 1989.\n\n"},{"text":"\n\nS. Bruggink. Equivalence of Reductions in Higher-Order Rewriting. PhD thesis, Utrecht University, 2008.\n\n"},{"text":"\n\n\nDaniel S. Dantas , David Walker, Harmless advice, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.383-396, January 11-13, 2006, Charleston, South Carolina, USA   [doi>10.1145/1111037.1111071]\n\n","citation":"1111071","doi":"http://doi.acm.org/10.1145/1111037.1111071"},{"text":"\n\n\nBruno De Fraine , Erik Ernst , Mario Südholt, Essential AOP: the A calculus, Proceedings of the 24th European conference on Object-oriented programming, June 21-25, 2010, Maribor, Slovenia \n\n","citation":"1883987"},{"text":"\n\n\nIsmael Figueroa , Éric Tanter, A semantics for execution levels with exceptions, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, March 21-21, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960510.1960513]\n\n","citation":"1960513","doi":"http://doi.acm.org/10.1145/1960510.1960513"},{"text":"\n\n\nIsmael Figueroa , Éric Tanter , Nicolas Tabareau, A practical monadic aspect weaver, Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, March 26-26, 2012, Potsdam, Germany   [doi>10.1145/2162010.2162018]\n\n","citation":"2162018","doi":"http://doi.acm.org/10.1145/2162010.2162018"},{"text":"\n\n\nBarnaby P. Hilken, Towards a proof theory of rewriting: the simply typed 2&lgr;-calculus, Theoretical Computer Science, v.170 n.1-2, p.407-444, Dec. 1996   [doi>10.1016/S0304-3975(96)00097-7]\n\n","citation":"241048"},{"text":"\n\nT. Hirschowitz. Cartesian closed 2-categories and permutation equivalence in higher-order rewriting. submitted.\n\n"},{"text":"\n\nR. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In Proceedings of ECOOP, 2003.\n\n"},{"text":"\n\nG. Kelly and R. Street. Review of the elements of 2-categories. In Category Seminar, pages 75--103. Springer, 1974.\n\n"},{"text":"\n\nM. Kelly. Basic Concepts of Enriched Category Theory, volume 64 of Lecture Notes in Mathematics. Cambridge University Press, 1982.\n\n"},{"text":"\n\nG. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proceedings of ECOOP, volume 1241. Springer-Verlag, 1997.\n\n"},{"text":"\n\nS. Kovalyov. Modeling Aspects by Category Theory. Proceedings of FOAL, page 63, 2010.\n\n"},{"text":"\n\n\nJoachim Lambek, Cartesian Closed Categories and Typed Lambda- calculi, Proceedings of the Thirteenth Spring School of the LITP on Combinators and Functional Programming Languages, p.136-175, May 06-10, 1985 \n\n","citation":"665261"},{"text":"\n\n\nJ. Lambek , P. J. Scott, Introduction to higher order categorical logic, Cambridge University Press, New York, NY, 1988 \n\n","citation":"53626"},{"text":"\n\nR. Lammel. Adding Superimposition To a Language Semantics. In FOAL'03, Mar. 2003.\n\n"},{"text":"\n\n\nRoberto Lopez-Herrejon , Don Batory , Christian Lengauer, A disciplined approach to aspect composition, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina   [doi>10.1145/1111542.1111554]\n\n","citation":"1111554","doi":"http://doi.acm.org/10.1145/1111542.1111554"},{"text":"\n\nW. D. Meuter. Monads as a theoretical foundation for aop. In AOP position paper at ECOOP, 1997.\n\n"},{"text":"\n\n\nEugenio Moggi, Notions of computation and monads, Information and Computation, v.93 n.1, p.55-92, July 1991   [doi>10.1016/0890-5401(91)90052-4]\n\n","citation":"116984"},{"text":"\n\n\nBruno C. d. S. Oliveira , Tom Schrijvers , William R. Cook, EffectiveAdvice: disciplined advice with explicit effects, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, March 15-19, 2010, Rennes and Saint-Malo, France   [doi>10.1145/1739230.1739244]\n\n","citation":"1739244","doi":"http://doi.acm.org/10.1145/1739230.1739244"},{"text":"\n\nR. Seely. Modelling computations: a 2-categorical framework. In Proceedings of LICS, pages 65--71, 1987.\n\n"},{"text":"\n\n\nNicolas Tabareau, Aspect oriented programming: a language for 2-categories, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, March 21-21, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960510.1960514]\n\n","citation":"1960514","doi":"http://doi.acm.org/10.1145/1960510.1960514"},{"text":"\n\n\nÉric Tanter, Execution levels for aspect-oriented programming, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, March 15-19, 2010, Rennes and Saint-Malo, France   [doi>10.1145/1739230.1739236]\n\n","citation":"1739236","doi":"http://doi.acm.org/10.1145/1739230.1739236"},{"text":"\n\n\nDavid Walker , Steve Zdancewic , Jay Ligatti, A theory of aspects, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.127-139, August 25-29, 2003, Uppsala, Sweden   [doi>10.1145/944705.944718]\n\n","citation":"944718","doi":"http://doi.acm.org/10.1145/944705.944718"},{"text":"\n\n\nMitchell Wand , Gregor Kiczales , Christopher Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.890-910, September 2004   [doi>10.1145/1018203.1018208]\n\n","citation":"1018208","doi":"http://doi.acm.org/10.1145/1018203.1018208"}]