Search Sciweavers | Sciweavers

669 search results - page 16 / 134

» Haskell program coverage

164

click to vote

HASKELL
2006
ACM

109views Programming Languages» more HASKELL 2006»

RepLib: a library for derivable type classes

15 years 11 months ago

Download www.seas.upenn.edu

Some type class instances can be automatically derived from the structure of types. As a result, the Haskell language includes the “deriving” mechanism to automatic generates ...

Stephanie Weirich

claim paper

Read More »

176

click to vote

HASKELL
2006
ACM

116views Programming Languages» more HASKELL 2006»

Strong types for relational databases

15 years 11 months ago

Download homepages.cwi.nl

Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...

Alexandra Silva, Joost Visser

claim paper

Read More »

140

click to vote

AFP
2008
Springer

241views Formal Methods» more AFP 2008»

Libraries for Generic Programming in Haskell

16 years 5 days ago

Download www.cs.uu.nl

Johan Jeuring, Sean Leather, José Pedro Mag...

claim paper