Efficient recursive subtyping

DOI10.1017/S0960129500000657MaRDI QIDQ4847313zbMATH OpenFDO

Authors Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Publication date 25 October 1995

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129500000657

zbMATH Keywords

\(\lambda\)-calculusalgorithmemptiness problemfinite automataorderings based on contravariancesubtyping in the presence of recursive types

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Recursive subtyping revealed (functional pearl)
• Efficient and flexible matching of recursive types
• Recursive subtyping revealed
• Type reconstruction with recursive types and atomic subtyping
• Subtyping recursion and parametric polymorphism in kernel Fun

Cited in

(21)

• Type inference with non-structural subtyping
• Types for access control
• Satisfying subtype inequalities in polynomial space
• Type soundness for path polymorphism
• Subtyping recursion and parametric polymorphism in kernel Fun
• Efficient and flexible matching of recursive types
• Non-structural subtype entailment in automata theory
• Typed path polymorphism
• Logic of subtyping
• Subtyping for F-bounded quantifiers and equirecursive types
• Recursive subtyping revealed (functional pearl)
• scientific article; zbMATH DE number 1808198 (Why is no real title available?)
• Efficient type checking for path polymorphism
• Assertions and recursions
• Recursive subtyping revealed
• scientific article; zbMATH DE number 2087431 (Why is no real title available?)
• Type reconstruction with recursive types and atomic subtyping
• Subtyping arithmetical types
• Practical coinduction
• Realization of coinductive types
• A Sound Algorithm for Asynchronous Session Subtyping

This page was built for publication: Efficient recursive subtyping

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4847313)