this paper is that much can belearned both about aspects and the aspect weaver if we think of the functional code as amonadic style program and we couch the different aspects into monads. The weaverthen becomes a lifter to transform programs through different monads.
Published in 1997.