Monads as a Theoretical Foundation for AOP
Wolfgang De Meuter · 1997
Looking at today's software engineering, the major abstraction technique is to divide systems into code units that are about a particular encapsulated ‘issue ’ of the system, such that changes to a particular unit do not propagate through the entire system. However, this is only applicable as long as all the ‘issues ’ of the system can indeed be