Chuan-kai Lin Department of Computer Science Portland State University...  Home/Search
Context
Related
| pdx.edu/~cklin/paper...skeletons84.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pdx.edu/~cklin/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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