Typing for a minimal aspect language
Peter Hui, James Riely · 2007
We present a preliminary report on typing systems for polyadic μABC, aspect oriented programming---pointcuts and advice---and nothing else. Tuples of uninterpreted names are used to trigger advice. The resulting language is remarkably unstructured: the least common denominator of the pi-calculus and Linda. As such, developing meaningful type systems is a substantial challenge.