913 search results - page 39 / 183 » Full Abstraction for Linda |
POPL
1995
ACM
14 years 8 days 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
13 years 10 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,...
GAMEON
2001
13 years 10 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...
SCM
2003
13 years 10 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...
CLIN
2000
13 years 10 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...