Order-sorted inductive types

DOI10.1006/inco.1998.2751zbMath0928.68022OpenAlexW2049420300MaRDI QIDQ1286367

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)

Related Items (1)

Higher-order subtyping and its decidability

Uses Software

• Automath
• LEGO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generator induction in order sorted algebras
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Combinatory reduction systems: Introduction and survey
• Inductive families
• Higher-order subtyping
• An Oxford survey of order sorted algebra
• Simple type-theoretic foundations for object-oriented programming
• Subtyping dependent types

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