Certification_Monads

MaRDI QIDQ43946swMATHFDO

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

Cited in

(10)

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

This page was built for software: Certification_Monads