31686 search results - page 118 / 6338 » Resource typing in Guru |
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
LORI
2009
Springer
14 years 3 months ago
2009
Springer
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
LREC
2008
13 years 10 months ago
2008
Language resources and tools to create and process these resources are necessary components in human language technology and natural language applications. In this paper, we descr...
TYPES
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
ECOOP
1998
Springer
14 years 1 months ago
1998
Springer
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We su...