Sciweavers

Share
47 search results - page 1 / 10
» haskell 2009
Sort
View
HASKELL
2009
ACM
9 years 3 months ago
Unembedding domain-specific languages
Robert Atkey, Sam Lindley, Jeremy Yallop
HASKELL
2009
ACM
9 years 3 months ago
The architecture of the Utrecht Haskell compiler
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...
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra
HASKELL
2009
ACM
9 years 3 months ago
Roll your own test bed for embedded real-time protocols: a haskell experience
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...
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
HASKELL
2009
ACM
9 years 3 months ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Speciļ¬c Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill
HASKELL
2009
ACM
9 years 3 months ago
A compositional theory for STM Haskell
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...
Johannes Borgström, Karthikeyan Bhargavan, An...
books