Monads and Modularity

by Christoph Lüth , Neil Ghani

Citations:

7 - 5 self

Datum	Value	Source
TITLE	FB 3 \| Mathematik und Informatik, Universitat Bremen	SVM HeaderParse 0.1
AUTHOR NAME	Neil Ghani	SVM HeaderParse 0.1
AUTHOR AFFIL	; 2; 1; 2; Department of Mathematics and Computer Science, University of Leicester	SVM HeaderParse 0.2
ABSTRACT	Abstract. This paper argues that the core of modularity problems is an understanding of how individual components of a large system interact with each other, and that this interaction can be described by a layer structure. We propose a uniform treatment of layers based upon the concept of a monad. The combination of dierent systems can be described by the coproduct of monads. Concretely, we give a construction of the coproduct of two monads and show how the layer structure in the coproduct monad can be used to analyse layer structures in three dierent application areas, namely term rewriting, denotational semantics and functional programming. 1	SVM HeaderParse 0.1
CITATIONS	15 found	ParsCit 1.0