4757 search results - page 33 / 952 » Monads for Functional Programming |
ERLANG
2008
ACM
13 years 9 months ago
2008
ACM
LOGCOM
2011
12 years 10 months ago
2011
POPL
2010
ACM
14 years 5 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
14 years 7 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
14 years 26 days 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...