Deriving class instances for datatypes

MaRDI QIDQ7361610FDO

Authors Christian Sternagel, René Thiemann

Publication date 11 March 2015

Cites work

• Certification of Termination Proofs Using CeTA
• Light-weight containers for Isabelle: efficient, extensible, nestable
• The Isabelle collections framework

Cited in

(15)

• Gröbner Bases Theory
• Affine Arithmetic
• A Compositional and Unified Translation of LTL into ω-Automata
• Implementing field extensions of the form Q[sqrt(b)]
• Light-weight Containers
• Derivatives of Logical Formulas
• The CAVA Automata Library
• Generating linear orders for datatypes
• Making Arbitrary Relational Calculus Queries Safe-Range
• Haskell's Show Class in Isabelle/HOL
• Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions
• A Preprocessor for Linear Diophantine Equalities and Inequalities
• Labeled Transition Systems
• Ordinary Differential Equations
• van Emde Boas Trees

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