Sciweavers

669 search results - page 14 / 134
» Haskell program coverage
Sort
View
105
Voted
ICFP
2000
ACM
15 years 10 months ago
Non-stop Haskell
Andrew M. Cheadle, A. J. Field, Simon Marlow, Simo...
188
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
16 years 5 days 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
127
Voted
IBERAMIA
2004
Springer
15 years 11 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...
262
Voted
POPL
2007
ACM
16 years 6 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...
167
Voted
HASKELL
2006
ACM
15 years 11 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