283 search results - page 45 / 57 » Functional Pearls: Probabilistic functional programming in H... |
211
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
156
click to vote
POPL
1989
ACM
15 years 5 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
237
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
126
click to vote
SPIN
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
115
click to vote
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...