44 search results - page 3 / 9 » A Space Semantics for Core Haskell |
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
HT
2005
ACM
15 years 5 months ago
2005
ACM
Vannevar Bush proposed the memex as a means to support building knowledge in the way he says the human brain works: by association. Achieving this vision has been a core motivatio...
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
CICLING
2008
Springer
15 years 1 months ago
2008
Springer
In the project we describe, we have taken a basic core of about 5000 synsets in WordNet that are the most frequently used, and we have categorized these into sixteen broad categori...
92
Voted
ER
2005
Springer
15 years 5 months ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...