Sciweavers

669 search results - page 16 / 134
» Haskell program coverage
Sort
View
171
Voted
HASKELL
2006
ACM
16 years 10 days ago
RepLib: a library for derivable type classes
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
184
Voted
HASKELL
2006
ACM
16 years 10 days ago
Strong types for relational databases
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
145
Voted
AFP
2008
Springer
241views Formal Methods» more  AFP 2008»
16 years 22 days ago
Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Mag...
133
Voted
JFP
2006
59views more  JFP 2006»
15 years 6 months ago
Functional Pearls: Probabilistic functional programming in Haskell
Martin Erwig, Steve Kollmansberger