913 search results - page 39 / 183 » Full Abstraction for Linda |
102
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
DAGSTUHL
2003
15 years 1 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
82
Voted
GAMEON
2001
15 years 1 months ago
2001
In this paper, a three-component architecture of a learning environment for Go is sketched, which can be applied to any two-player, deterministic, full information, partizan, comb...
101
click to vote
SCM
2003
15 years 1 months ago
2003
Abstract. Software Configuration Management has been a big success in research and creation of tools. There are also many vendors in the market of selling courses to companies. How...
126
click to vote
CLIN
2000
15 years 1 months ago
2000
Alpino is a wide-coverage computational analyzer of Dutch which aims at accurate, full, parsing of unrestricted text. We describe the head-driven lexicalized grammar and the lexic...