283 search results - page 25 / 57 » Functional Pearls: Probabilistic functional programming in H... |
109
click to vote
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
125
click to vote
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
108
click to vote
FUIN
2006
15 years 1 months ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...