Sciweavers

4 search results - page 1 / 1
» Monads and Adjunctions for Global Exceptions
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
13 years 3 months ago
Monads and Adjunctions for Global Exceptions
In this paper, we look at two categorical accounts of computational effects (strong monad as a model of the monadic metalanguage, adjunction as a model of call-bypush-value with s...
Paul Blain Levy
AFP
1995
Springer
128views Formal Methods» more  AFP 1995»
13 years 7 months ago
Monads for Functional Programming
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
Philip Wadler
CORR
2010
Springer
102views Education» more  CORR 2010»
13 years 3 months ago
States and exceptions are dual effects
Global states and exceptions form two basic computational effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update operations for glo...
Jean-Guillaume Dumas, Dominique Duval, Laurent Fou...
APLAS
2008
ACM
13 years 5 months ago
Extensional Universal Types for Call-by-Value
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
Kazuyuki Asada