Datatype Order Generator

swMATH28592MaRDI QIDQ40306FDOQ40306

Author name not available (Why is that?)

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

Cited In (10)

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

This page was built for software: Datatype Order Generator