Sciweavers

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

7

AC
2000
Springer

favoriteEmaildiscussreport

90views Software Engineering» more AC 2000»

Monads and Effects

13 years 8 months ago

Monads and Effects

Download research.microsoft.com

Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception

Nick Benton, John Hughes, Eugenio Moggi

Real-time Traffic

AC 2000 | Language Design | Simple Semantics | Software Engineering |

claim paper

Related Content

» Programming monads operationally with Unimo

» Composing monads using coproducts

» Communicating Haskell Processes Composable Explicit Concurrency using Monads

» Achieving Information Flow Security through Precise Control of Effects

» Inductive reasoning about effectful data types

» Complete Iterativity for Algebras with Effects

» Monads and Adjunctions for Global Exceptions

» Monadic augment and generalised short cut fusion

» Kleene Monads Handling Iteration in a Framework of Generic Effects

» Linearly Used Effects Monadic and CPS Transformations into the Linear Lambda Calculus

Post Info
More Details (n/a)

Added	24 Aug 2010
Updated	24 Aug 2010
Type	Conference
Year	2000
Where	AC
Authors	Nick Benton, John Hughes, Eugenio Moggi

Comments (0)