Harmless advice, 8th symposium on Principle of Programming Languages, p.396, 2006. ,
DOI : 10.1145/1111037.1111071
Types are weak omega-groupoids. Accepted for publication in the Proceedings of the ,
Proofs and types, volume 7 of Cambridge tracts in theoretical computer science, 1989. ,
Towards a proof theory of rewriting: the simply typed 2??-calculus, Theoretical Computer Science, vol.170, issue.1-2, pp.407-444, 1996. ,
DOI : 10.1016/S0304-3975(96)80713-4
Combining effects: Sum and tensor, Theoretical Computer Science, vol.357, issue.1-3, pp.70-99, 2006. ,
DOI : 10.1016/j.tcs.2006.03.013
URL : http://doi.org/10.1016/j.tcs.2006.03.013
A calculus of untyped aspectoriented programs, Proceedings of European Conference on Object Oriented Programming, pp.54-73, 2003. ,
Basic Concepts of Enriched Category Theory, Lecture Notes in Mathematics, vol.64, 1982. ,
Aspect-Oriented Programming, Proceedings of European Conference on Object Oriented Programming, 1997. ,
Modeling Aspects by Category Theory, FOAL 2010 Proceedings, p.63, 2010. ,
Cartesian closed categories and typed lambda-calculi, 13th Spring School on Combinators and Functional Programming Languages, p.175, 1985. ,
Introduction to higher order categorical logic, 1988. ,
A disciplined approach to aspect composition symposium on Partial evaluation and semantics-based program manipulation, Proceedings of the 2006 ACM SIGPLAN, p.77, 2006. ,
Weak ?-categories from intensional type theory. Typed Lambda Calculi and Applications, pp.172-187, 2009. ,
DOI : 10.1007/978-3-642-02273-9_14
Notions of computation and monads. Information and Computation, pp.55-92, 1991. ,
Confluence of the lambda calculus with left-linear algebraic rewriting, Information Processing Letters, vol.41, issue.6, pp.293-299, 1992. ,
DOI : 10.1016/0020-0190(92)90155-O
Enriched Lawvere theories. Theory and Application of Categories, pp.83-93, 1999. ,
Some aspects of categories in computer science. Handbook of algebra, pp.3-77, 2000. ,
Modelling computations: a 2-categorical framework, 2nd Logic in Computer Science, pp.65-71, 1987. ,
Execution levels for aspect-oriented programming, Proceedings of the Eighth International Conference on Aspect-Oriented Software Development, AOSD '10, pp.37-48, 2010. ,
DOI : 10.1145/1739230.1739236
URL : https://hal.archives-ouvertes.fr/hal-00872786
A theory of aspects, 8th International Conference Fonctional Programming, pp.127-139, 2003. ,
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