7555 search results - page 37 / 1511 » The Type System of DBPL |
TIC
1998
Springer
14 years 1 months ago
1998
Springer
USS
2004
13 years 10 months ago
2004
CONCUR
2006
Springer
14 years 15 days ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
ECOOP
2003
Springer
14 years 2 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...