6 search results - page 1 / 2 » jfp 2000 |
JFP
2000
13 years 4 months ago
2000
JFP
2000
13 years 4 months ago
2000
JFP
2000
13 years 4 months ago
2000
JFP
2000
13 years 4 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
JFP
2000
13 years 4 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...