Efficient recursive subtyping

DOI10.1017/S0960129500000657MaRDI QIDQ4847313zbMATHFDO

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)

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

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)