4757 search results - page 33 / 952 » Monads for Functional Programming |
ERLANG
2008
ACM
15 years 1 months ago
2008
ACM
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...