283 search results - page 24 / 57 » Functional Pearls: Probabilistic functional programming in H... |
124
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
122
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
134
click to vote
PEPM
1994
ACM
15 years 5 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
JFP
2010
14 years 12 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
127
click to vote
DAC
2004
ACM
15 years 5 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...