31686 search results - page 279 / 6338 » Resource typing in Guru |
95
Voted
TYPES
1999
Springer
15 years 5 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
114
Voted
ERCIMDL
2006
Springer
15 years 4 months ago
2006
Springer
Digital Object Prototypes (DOPs) provide the DL designer with the ability to model diverse types of digital objects in a uniform manner while offering digital object type conforman...
114
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
125
click to vote
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
114
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...