Datatype Order Generator

MaRDI QIDQ40306swMATHFDO

Authors René Thiemann

Publication date 7 August 2012

Official website https://www.isa-afp.org/entries/Datatype_Order_Generator.html

Cites work

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

Cited in

(10)

• Wooki
• woot-haskell
• wootjs
• Woot
• Strong eventual consistency of the collaborative editing framework WOOT
• FinFuns
• Containers
• Certification_Monads
• Light-weight containers for Isabelle: efficient, extensible, nestable
• Logoot

This page was built for software: Datatype Order Generator