60 search results - page 1 / 12 » Sound Polymorphic Type Inference for Objects |
OOPSLA
1995
Springer
13 years 8 months ago
1995
Springer
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
PODS
1994
ACM
13 years 9 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
APLAS
2008
ACM
13 years 6 months ago
2008
ACM
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...