Sciweavers

283 search results - page 16 / 57
» Functional Pearls: Probabilistic functional programming in H...
Sort
View
POPL
2005
ACM
16 years 1 months ago
A probabilistic language based upon sampling functions
As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primit...
Sungwoo Park, Frank Pfenning, Sebastian Thrun
ESOP
2006
Springer
15 years 5 months ago
Haskell Is Not Not ML
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jo...
ICFP
2009
ACM
16 years 2 months ago
Runtime support for multicore Haskell
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...
Simon Marlow, Simon L. Peyton Jones, Satnam Singh
126
Voted
HASKELL
2009
ACM
15 years 8 months ago
Types are calling conventions
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
Maximilian C. Bolingbroke, Simon L. Peyton Jones
114
Voted
HASKELL
2006
ACM
15 years 7 months 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