Sciweavers

669 search results - page 14 / 134
» Haskell program coverage
Sort
View
ICFP
2000
ACM
14 years 1 months ago
Non-stop Haskell
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
14 years 3 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
IBERAMIA
2004
Springer
14 years 2 months ago
Towards CNC Programming Using Haskell
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-li...
Gustavo Arroyo, Claudio Ochoa, Josep Silva, Germ&a...
POPL
2007
ACM
14 years 9 months ago
Data parallel Haskell: a status report
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simo...
HASKELL
2006
ACM
14 years 2 months ago
User-level transactional programming in Haskell
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
Peter Thiemann