11 search results - page 1 / 3 » On Subtyping and Matching |
TCS
2008
14 years 10 months ago
2008
Subtyping relations for the -calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to d...
ICTCS
2001
Springer
15 years 3 months 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
15 years 2 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...
SAC
2009
ACM
15 years 5 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...
72
Voted
ECOOP
1995
Springer
15 years 2 months ago
1995
Springer