Searching for "Integrating Subtyping" – sorted by Relevance.
-
Full Integration of Subtyping and If-Expression
- Full integration of subtyping and if-expression Gang Chen # Computer Science Department Boston
- Add To MetaCart
-
Full integration of subtyping and if-expression
- Full integration of subtyping and if-expression Gang Chen ∗ Computer Science Department Boston
- Add To MetaCart
-
TooL: A Persistent Language Integrating Subtyping, Matching and Type Quantification
- TooL: A Persistent Language Integrating Subtyping, Matching and Type Quantification* Andreas
- Cited by 3 (1 self) – Add To MetaCart
-
Polymorphic Subtyping for Effect Analysis: the Integration
- Polymorphic Subtyping for Eoeect Analysis: the Integration H.R.Nielson & F.Nielson & T
- Add To MetaCart
-
Generic Programming on the Structure of Homogeneously Nested Arrays
- definitions on the nesting structure of arrays which, as we show, neatly integrates with subtyping based
- Add To MetaCart
-
Subtyping and Locality in Distributed Higher Order Processes (Extended Abstract)
- . An integration of the subtyping of l-calculus and IO-subtyping of the p-calculus offers a tractable tool
- Cited by 30 (4 self) – Add To MetaCart
-
Translation polymorphism in Object Teams
- show how translation polymorphism integrates with subtype polymorphism. By generalizing over
- Cited by 5 (3 self) – Add To MetaCart
-
Subtyping with Power Types
- reformulation of part of Cardelli's power type system. Power types integrate subtyping into the typing judgement
- Cited by 3 (0 self) – Add To MetaCart
-
A Complete Type Inference System for Subtyped Recursive Types
- and completeness of the type inference algorithm. Our system integrates subtyping and recursive types into Damas
- Cited by 3 (0 self) – Add To MetaCart
-
Polymorphic subtypes for effect analysis: the static semantics
- -mail:{hrnielson,fnielson,tamtoft}@(email omitted); Abstract. The integration of polymorphism (in the style of the ML let-construct), subtyping, and e
- Cited by 2 (0 self) – Add To MetaCart

