47 search results - page 1 / 10 » haskell 2009 |
HASKELL
2009
ACM
14 years 1 months ago
2009
ACM
HASKELL
2009
ACM
14 years 1 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
HASKELL
2009
ACM
14 years 1 months ago
2009
ACM
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
HASKELL
2009
ACM
14 years 1 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
HASKELL
2009
ACM
14 years 1 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...