51 search results - page 2 / 11 » haskell 2008 |
SCP
2002
13 years 3 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
SIGPLAN
2002
13 years 3 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...
HASKELL
2008
ACM
13 years 5 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
SIGPLAN
2002
13 years 3 months ago
2002
This paper describes a course in hardware description and synthesis (hardware compilation), taught as an introductory graduate course at Chalmers University of Technology, and as a...
HASKELL
2008
ACM
13 years 5 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...