Foundations for the implementation of higher-order subtyping
K Crary - Proceedings of the second ACM SIGPLAN …, 1997 - dl.acm.org
… a calculus with higher-order subtyping and subkinding by … from a calculus of higher-order
subtyping to a subtyping-free … We have given a translation of a higher-order subtyping caJ…
subtyping to a subtyping-free … We have given a translation of a higher-order subtyping caJ…
[图书][B] Higher-order subtyping with intersection types
AB Compagnoni - 1995 - repository.ubn.ru.nl
… The contribution of this thesis is to weave together these two threads by com bining
higher-order subtyping, which forms the cornerstone of several recent mod els of typed object-…
higher-order subtyping, which forms the cornerstone of several recent mod els of typed object-…
A theory of higher-order subtyping with type intervals
S Stucki, PG Giarrusso - Proceedings of the ACM on Programming …, 2021 - dl.acm.org
… subtyping constraints. The result is a flexible and general theory of higher-order subtyping.
We … Whether or not their approach can be generalized to higher-order subtyping is a question …
We … Whether or not their approach can be generalized to higher-order subtyping is a question …
[PDF][PDF] Subject reduction and minimal types for higher order subtyping
A Compagnoni - 1997 - lfcs.inf.ed.ac.uk
… interconvertible types in the subtype relation. Therefore, our subtyping relation relates types
of a … procedure to check subtyping, we need a new presentation of the subtyping relation that …
of a … procedure to check subtyping, we need a new presentation of the subtyping relation that …
Higher-Order Subtyping with Type Intervals
S Stucki - 2017 - infoscience.epfl.ch
… We survey previous work on higher-order subtyping, bounded polymorphism and translucent
type definitions in the second part of the chapter, and discuss how and where our work fits …
type definitions in the second part of the chapter, and discuss how and where our work fits …
Inclusions and subtypes II: Higher-order case
N Martí-Oliet, J Meseguer - Journal of Logic and Computation, 1996 - ieeexplore.ieee.org
… The categorical semantics of higher-order inclusive subtypes is then generalized to a notion
… -order theory of subtypes as inclusions developed in Part I [25] to a higherorder context. The …
… -order theory of subtypes as inclusions developed in Part I [25] to a higherorder context. The …
[PDF][PDF] PER models of subtyping, recursive types and higher-order polymorphism
K Bruce, JC Mitchell - Proceedings of the 19th ACM SIGPLAN-SIGACT …, 1992 - dl.acm.org
We relate standard techniques for solving recursive domain equations to previous models
with types interpreted as partial equivalence relations(per’s) over a Dm lambda model. This …
with types interpreted as partial equivalence relations(per’s) over a Dm lambda model. This …
[PDF][PDF] Polarized higher-order subtyping.
M Steffen - 1999 - Citeseer
… To retain decidability also in the higher-order case, we adopt the Kernel Fun subtyping rule
for universal quantifiers, insisting on equal bounds for the two All-types under comparison: …
for universal quantifiers, insisting on equal bounds for the two All-types under comparison: …
Typed operational semantics for higher-order subtyping
A Compagnoni, H Goguen - Information and Computation, 2003 - Elsevier
… subtyping for systems of higher-order subtyping with bounded quantification. Other proofs
have used reduction relations unrelated to the actual notion of computation of the type theory, …
have used reduction relations unrelated to the actual notion of computation of the type theory, …