Deriving generic class instances for datatypes

MaRDI QIDQ7361093FDO

Authors Jonas Rädle, Lars Hupel

Publication date 6 November 2018

Cites work

• Applications of polytypism in theorem proving
• Derivable type classes
• Deriving comparators and show functions in Isabelle/HOL
• Foundational (co)datatypes and (co)recursion for higher-order logic
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• Truly modular (co)datatypes for Isabelle/HOL
• Types and programing languages

This page was built for software: Deriving generic class instances for datatypes