A type-theoretic interpretation of pointcuts and advice. (2006)

by Jay Ligatti, David Walker, Steve Zdancewic
Venue:Science of Computer Programming: Special Issue on Foundations of Aspect-Oriented Programming.