283 search results - page 22 / 57 » Functional Pearls: Probabilistic functional programming in H... |
116
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
107
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
122
click to vote
PLPV
2010
ACM
15 years 10 months ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
220
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
144
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...