18429 search results - page 123 / 3686 » Typing dynamic typing |
174
Voted
ECIR
2007
Springer
15 years 6 months ago
2007
Springer
Retrieval accuracy can be improved by considering which document type should be filtered out and which should be ranked higher in the result list. Hence, document type can be used...
171
click to vote
FMOODS
2007
15 years 6 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
134
Voted
FORTE
2007
15 years 6 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
121
click to vote
DAGSTUHL
1993
15 years 6 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
106
click to vote
ACS
2006
15 years 4 months ago
2006
Nuclei which are defined over a class of frames are called nuclear typings. There is the dual notion of a spatial selector, and the relationship between nuclear typings and spatial...