1021 search results - page 12 / 205 » Pure Subtype Systems |
DATESO
2006
13 years 9 months ago
2006
Abstract. This paper describes a vision of CellStore, a kind of universal database system, which would be capable of storing and operating on several different data models
ICTCS
2001
Springer
14 years 4 days ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
ECOOP
1997
Springer
13 years 12 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
ACTA
2005
13 years 7 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...