Monads and Modularity

Monads and Modularity

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Christoph Lüth , Neil Ghani

Citations:

7 - 5 self

BibTeX

@MISC{Lüth_monadsand,
    author = {Christoph Lüth and Neil Ghani},
    title = {Monads and Modularity},
    year = {}
}

Bookmark

OpenURL

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 different systems can be described by the coproduct of monads.

Citations

418	Comprehending monads - Wadler - 1990
401	Computational lambda-calculus and monads - Moggi - 1989
173	Jirí Rosicky, Locally Presentable and Accessible Categories - Adamek - 1994
153	An abstract view of programming languages - Moggi - 1989
64	98: A Non-strict, Purely Functional Language - Haskell - 1999
64	Composing monads - Jones, Duponcheel - 1993
56	Categories for the Working - Lane - 1971
39	A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so - Kelly - 1980
30	Structured theories in LCF - Sannella, Burstall - 1983
20	Monads and modular term rewriting - Lüth, Ghani - 1997
19	A presentation of topoi as algebraic relative to categories or graphs - Dubuc, Kelly - 1983
12	Categorical Term Rewriting: Monads and Modularity - Lüth - 1998
6	A uni treatment of trans constructions for free algebras, free monoids, colimits, associated sheaves, and so - Kelly - 1980
5	Algebras, coalgebras, monads and comonads - Ghani, Lüth, et al. - 2001
1	An abstract view of programming languages - Lüth, Ghani - 1990