1204 search results - page 16 / 241 » Parallel concurrent ML |
108
Voted
PODC
1994
ACM
15 years 6 months ago
1994
ACM
128
click to vote
CADE
2008
Springer
16 years 2 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
146
click to vote
AFP
2008
Springer
15 years 8 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
134
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Bulk Synchronous Parallel ML (BSML) is an extension of the functional language Objective Caml to program Bulk Synchronous Parallel (BSP) algorithms. It is deterministic, deadlock ...