Search Sciweavers | Sciweavers

33

HASKELL
2009
ACM

145views Programming Languages» more HASKELL 2009»

Alloy: fast generic transformations for Haskell

14 years 5 months ago

Data-type generic programming can be used to traverse and manipulate speciﬁc parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...

Neil C. C. Brown, Adam T. Sampson

claim paper

Read More »

33

click to vote

HASKELL
2009
ACM

127views Programming Languages» more HASKELL 2009»

Parallel performance tuning for Haskell

14 years 5 months ago

Download www.haskell.org

Parallel Haskell programming has entered the mainstream with support now included in GHC for multiple parallel programming models, along with multicore execution support in the ru...

Don Jones Jr., Simon Marlow, Satnam Singh

claim paper

Read More »

27

click to vote

HASKELL
2009
ACM

105views Programming Languages» more HASKELL 2009»

Finding the needle: stack traces for GHC

14 years 5 months ago

Download research.microsoft.com

Even Haskell programs can occasionally go wrong. Programs calling head on an empty list, and incomplete patterns in function definitions can cause program crashes, reporting littl...

Tristan O. R. Allwood, Simon Peyton Jones, Susan E...

claim paper

Read More »

44

click to vote

AAIP
2009

247views Programming Languages» more AAIP 2009»

Deriving a Relationship from a Single Example

13 years 8 months ago

Download www.cogsys.wiai.uni-bamberg.de

Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instan...

Neil Mitchell

claim paper

Read More »

29

click to vote

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

14 years 5 months ago

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper