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)

zbMATH Keywords

algorithmfinite automata\(\lambda\)-calculusemptiness problemorderings based on contravariancesubtyping in the presence of recursive types

Mathematics Subject Classification ID

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

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 reconstruction with recursive types and atomic subtyping
• 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
• A Sound Algorithm for Asynchronous Session Subtyping
• Efficient type checking for path polymorphism
• Realization of coinductive types
• Recursive subtyping revealed
• scientific article; zbMATH DE number 1808198 (Why is no real title available?)
• Logic of subtyping
• Assertions and recursions
• Typed path polymorphism
• Recursive subtyping revealed (functional pearl)
• Subtyping arithmetical types
• Type inference with non-structural subtyping
• Practical coinduction
• Types for access control
• Subtyping for F-bounded quantifiers and equirecursive types
• scientific article; zbMATH DE number 2087431 (Why is no real title available?)

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)