Sciweavers

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

127

Voted

AC
2000
Springer

90views Software Engineering» more AC 2000»

Monads and Effects

15 years 6 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)