248 search results - page 10 / 50 » Phantom types and subtyping |
148
click to vote
TLCA
1997
Springer
15 years 6 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
ICFP
2007
ACM
16 years 1 months ago
2007
ACM
128
Voted
ENTCS
2002
15 years 1 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...
104
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
69
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM