Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

20

AFP
1995
Springer

favoriteEmaildiscussreport

128views Formal Methods» more AFP 1995»

Monads for Functional Programming

13 years 8 months ago

Monads for Functional Programming

Download homepages.inf.ed.ac.uk

Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating eﬀects found in other languages, such as global state, exception handling, output, or non-determinism. Three case studies are looked at in detail: how monads ease the modiﬁcation of a simple evaluator; how monads act as the basis of a datatype of arrays subject to in-place update; and how monads can be used to build parsers.

Philip Wadler

Real-time Traffic

AFP 1995 | Convenient Framework | Exception Handling | Formal Methods | Functional Programs |

claim paper

Related Content

» Programming monads operationally with Unimo

» A Hoare Logic for the State Monad

» Merging Monads and Folds for Functional Programming

» Recursive Definitions of Monadic Functions

» Communicating Haskell Processes Composable Explicit Concurrency using Monads

» Modular Monad Transformers

» Extensions A Technique for Structuring FunctionalLogic Programs

» Monadic augment and generalised short cut fusion

» On the relation of aspects and monads

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1995
Where	AFP
Authors	Philip Wadler

Comments (0)