Order-sorted inductive types
From MaRDI portal
Publication:1286367
DOI10.1006/INCO.1998.2751zbMATH Open0928.68022OpenAlexW2049420300MaRDI QIDQ1286367FDOQ1286367
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
Recommendations
- Order-invariant types and their applications
- Order-Sorted Parameterization and Induction
- scientific article; zbMATH DE number 1324447
- scientific article
- 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
- Title not available (Why is that?)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Combinatory reduction systems: Introduction and survey
- Title not available (Why is that?)
- Inductive families
- Title not available (Why is that?)
- An Oxford survey of order sorted algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Higher-order subtyping
- Title not available (Why is that?)
- Simple type-theoretic foundations for object-oriented programming
- Subtyping dependent types
- Generator induction in order sorted algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (4)
Uses Software
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)
