• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Monads and Modularity

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [www.informatik.uni-bremen.de]
  • [www.cs.nott.ac.uk]
  • [www.informatik.uni-bremen.de]
  • [www.informatik.uni-bremen.de]
  • [www.informatik.uni-bremen.de]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Christoph Lüth , Neil Ghani
Citations:7 - 5 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

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

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University