18429 search results - page 122 / 3686 » Typing dynamic typing |
139
click to vote
TYPES
1999
Springer
15 years 8 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...
146
Voted
ERCIMDL
2006
Springer
15 years 8 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...
153
click to vote
ESOP
2000
Springer
15 years 8 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...
150
click to vote
CONCUR
2008
Springer
15 years 6 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...
142
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...