Multiple-inheritance hazards in dependently-typed algebraic hierarchies

DOI10.1007/978-3-031-42753-4_15arXiv2306.00617MaRDI QIDQ6118834

Eric Wieser

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2306.00617

zbMATH Keywords

dependent typesformalizationmultiple inheritancemathlibtypeclasses

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• The Lean 4 theorem prover and programming language
• Exploring the structure of an algebra text with locales
• Leveraging the information contained in theory presentations
• Type classes for mathematics in type theory
• Packaging Mathematical Structures
• The Lean Theorem Prover (System Description)
• Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis
• Validating Mathematical Structures

This page was built for publication: Multiple-inheritance hazards in dependently-typed algebraic hierarchies