Searching for "Higher-Order Subtyping." – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
Higher-Order Subtyping
- …Higher-Order Subtyping Martin Steffen Benjamin Pierce y February 2, 1994 University…
- Cited by 24 (1 self) – Add To MetaCart
-
Foundations for the Implementation of Higher-Order Subtyping
- …Foundations for the Implementation of Higher-Order Subtyping Karl Craryy Department of Computer…
- Cited by 12 (6 self) – Add To MetaCart
-
Decidability of Higher-Order Subtyping with Intersection Types
- …Decidability of Higher-Order Subtyping with Intersection Types Adriana B. Compagnoni Abstract…
- Cited by 42 (12 self) – Add To MetaCart
-
Higher-Order Subtyping with Intersection Types
- …Higher-Order Subtyping with Intersection Types een wetenschappelijke proeve op het gebied van de…
- Add To MetaCart
-
Anti-Symmetry of Higher-Order Subtyping
- …Anti-Symmetry of Higher-Order Subtyping Adriana Compagnoni and Healfdene Goguen 1 Stevens…
- Cited by 2 (0 self) – Add To MetaCart
-
Higher-order subtyping and its decidability
- … Higher-Order Subtyping And Its Decidability Adriana Compagnoni abc…
- Cited by 1 (0 self) – Add To MetaCart
-
Subject reduction and minimal types for higher order subtyping
- …Subject Reduction and Minimal Types for Higher Order Subtyping Adriana Compagnoni abc…
- Cited by 5 (3 self) – Add To MetaCart
-
Decidability of Higher-Order Subtyping via Logical Relations
- …Decidability of Higher-Order Subtyping via Logical Relations Adriana Compagnoni abc…
- Cited by 1 (1 self) – Add To MetaCart
-
Typed operational semantics for higher order subtyping. Draft. Available at http://www.dcs.ed.ac.uk/home/abc
- … Typed Operational Semantics for Higher Order Subtyping Adriana Compagnoni abc…
- Cited by 13 (5 self) – Add To MetaCart
-
HASCASL: Integrated Higher-Order Specification and Program Development
- …HASCASL: Integrated Higher-Order Specification and Program Development Lutz Schröder and Till…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
