this paper is that much can be learned both about aspects and the aspect weaver if we think of the functional code as a monadic style program and we couch the different aspects into monads. The weaver then becomes a lifter to transform programs through different monads

: This draft 1 provides the most recent collection of definitions and explanations on the GSF formalism. The basic motivation for this draft has been to provide the formal base and the intuitive introduction for GSFs as required in the context of the system LDL. Thus, certain aspects like comparison with other formalims, particular questions of implementation are not in the centre of this presentation. Date: 10.11.95 13:51 Contents 1 Overview 2 2 Introduction of GSFs 3 3 Basic formalization 8 4 GSFs as a specification language 13 5 References 18 1 This draft is in an early stage. I would be very grateful for comments. Most of the contents is not my personal achievement but rather newly formulated and assembled presentation of notions, terms and results already earlier published by Gnter Riedewald, Uwe Lmmel and me. However, for insufficiencies and incorrectness in the draft I am responsible only. Ralf Lmmel: Grammars of Syntactical Functions 2 1 Overview Not yet available. 2...