4757 search results - page 17 / 952 » Monads for Functional Programming |
113
click to vote
CC
2003
Springer
15 years 8 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
169
click to vote
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
224
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
JMLR
2012
13 years 5 months ago
2012
137
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...