Certification_Monads

MaRDI QIDQ43946swMATHFDO

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

Cited in

(10)

• Strong eventual consistency of the collaborative editing framework WOOT
• Logoot
• Datatype Order Generator
• Haskell Show Class
• Xml
• Wooki
• woot-haskell
• wootjs
• Woot
• A framework for developing stand-alone certifiers

This page was built for software: Certification_Monads