2373 search results - page 5 / 475 » On the Theory of Structural Subtyping |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
57
Voted
APLAS
2003
ACM
2003
ACM
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
15 years 2 months ago
JOT
2008
14 years 9 months ago
2008
