31686 search results - page 56 / 6338 » Resource typing in Guru |
104
click to vote
CSL
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
149
click to vote
CLUSTER
2011
IEEE
14 years 10 days ago
2011
IEEE
—For many organizations, one attractive use of cloud resources can be through what is referred to as cloud bursting or the hybrid cloud. These refer to scenarios where an organiz...
168
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
160
Voted
FOCI
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents the geometric defuzzifier for generalised type-2 fuzzy sets. This defuzzifier can be executed in real-time and can therefore be applied to control and other rea...
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
We extend classical first-order logic with subtyping by type predicates and type coercion. Type predicates assert that the value of a term belongs to a more special type than the ...