Order-sorted inductive types

DOI10.1006/INCO.1998.2751MaRDI QIDQ1286367zbMATH OpenOpenAlexFDO

Authors Gilles Barthe

Publication date 9 January 2000

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/70f92c075ef10d8fa3e312114c75517d7d98253b

zbMATH Keywords

order-sorted algebra

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Order-invariant types and their applications
• Order-Sorted Parameterization and Induction
• scientific article; zbMATH DE number 1324447
• scientific article; zbMATH DE number 4164128
• scientific article; zbMATH DE number 44623
• Simple types in discretely ordered structures
• scientific article; zbMATH DE number 4189687
• Type preorders and recursive terms
• General inductive inference types based on linearly-ordered sets
• A remark on order-types.

Cites work

• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 1187955 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 512790 (Why is no real title available?)
• scientific article; zbMATH DE number 1156716 (Why is no real title available?)
• scientific article; zbMATH DE number 1156717 (Why is no real title available?)
• scientific article; zbMATH DE number 1161538 (Why is no real title available?)
• scientific article; zbMATH DE number 2079017 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• An Oxford survey of order sorted algebra
• Combinatory reduction systems: Introduction and survey
• Generator induction in order sorted algebras
• Higher-order subtyping
• Inductive families
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Simple type-theoretic foundations for object-oriented programming
• Subtyping dependent types

Cited in

(4)

• Order-Sorted Parameterization and Induction
• Soft typing for ordered resolution
• Sorting Multidimensional Types: Theory and Application
• Higher-order subtyping and its decidability

Describes a project that uses

Uses Software

• Automath
• LEGO

This page was built for publication: Order-sorted inductive types

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