2362 search results - page 5 / 473 » Programming in Standard ML |
128
Voted
ML
2008
ACM
15 years 5 months ago
2008
ACM
122
Voted
ML
2008
ACM
15 years 5 months ago
2008
ACM
164
Voted
ML
2006
ACM
15 years 5 months ago
2006
ACM
283
click to vote
ICFP
2009
ACM
16 years 6 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
Voted
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...