5370 search results - page 3 / 1074 » A Semantics of Object Types |
DS
1992
13 years 6 months ago
1992
In a multidatabase system, schematic con icts between two objects are usually of interest only when the objects have some semantic a nity. In this paper we try to reconcile the tw...
ECOOP
2007
Springer
13 years 11 months ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
ECOOP
2006
Springer
13 years 8 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
TGC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...