Searching for "Integrating Subtyping" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
