See this document in CiteSeerX!

Skeletons and the Anatomy of Monads  (Make Corrections)  
Chuan-kai Lin Department of Computer Science Portland State University...



  Home/Search   Context   Related

 
View or download:
pdx.edu/~cklin/paper...skeletons84.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  pdx.edu/~cklin/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Monads are used heavily in Haskell for supporting computational effects, and the language offers excellent support for defining monadic computations. Unfortunately, defining a monad remains a difficult challenge. There are no libraries that a programmer can use to define a monad that is not a composition of existing monad transformers; therefore every such effort must start from scratch despite that all monads share the same structure and need to satisfy the same minimum set of properties. (Update)

Active bibliography (related documents):   More   All
0.2:   Accomplishments and Research Challenges in Meta-Programming - Sheard (2000)   (Correct)
0.2:   An Aspect-Oriented Design Framework - Constantinides, Bader, Elrad (2000)   (Correct)
0.2:   Programming Examples Needing Polymorphic Recursion - Hallett Boston University (2004)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ department-skeletons,
  author = "Chuan-Kai Lin Department",
  title = "Skeletons and the Anatomy of Monads",
  url = "citeseer.ist.psu.edu/747335.html" }
Citations (may not include all citations):
788   Rewrite systems - Dershowitz, Jouannaud - 1990
369   Information And Computation (context) - Moggi, computation - 1991
291   Computational lambda-calculus and monads - Moggi - 1989
230   An overview of AspectJ - Kiczales, Hilsdale et al. - 2001
120   Monad transformers and modular interpreters - Liang, Hudak et al. - 1995
73   Denotational semantics (context) - Mosses - 1990
58   Project Oberon: The Design of an Operating System and Compil.. (context) - Wirth - 1992
41   The design of a pretty-printing library - Hughes - 1995
40   Programming in Oberon: Steps Beyond Pascal and Modula (context) - Reiser, Wirth - 1992
29   Haskell 98 Language and Libraries: The Revised Report (context) - Jones - 2003
29   Science of Computer Programming (context) - Hughes, to - 2000
20   Tackling awkward squad monadic inputoutput - Jones, awkward et al. - 2001
10   Cristina Videira Lopes (context) - Kiczales, Lamping et al. - 1997
9   Deriving backtracking monad transformers - Hinze - 2000
6   Research Report YALEUDCRR (context) - Jones, Composing et al. - 1993
5   Wobbly types: type inference for generalised algebraic data .. - Jones, Washburn et al. - 2004
4   ACM SIGPLAN Notices (context) - Jr, Gabriel et al. - 1993
4   Practical type inference for arbitrary-rank types - Jones, Vytiniotis et al. - 2005
4   Monads as a theoretical foundation for AOP - De Meuter - 1997
1   Functional pearl: Parallel parsing processes (context) - Claessen - 2004
1   Lexically scoped type variables (context) - Jones, Shields - 2004
1   Achieving information flow security through precise control .. (context) - Harrison, Hook - 2005

Documents on the same site (http://web.cecs.pdx.edu/~cklin/):
DirectFlow: Toward a DSL for Infopipes - Chuan-Kai Lin Andrew   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC