2394 search results - page 5 / 479 » Implementing Mobile Haskell |
ICPPW
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...
68
Voted
ICFP
2004
ACM
15 years 10 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...
67
Voted
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
120
Voted
HASKELL
2009
ACM
15 years 4 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
86
Voted
SIGPLAN
2002
14 years 10 months ago
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithm...