Certification_Monads

swMATH32235MaRDI QIDQ43946FDOQ43946

Author name not available (Why is that?)

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
• Logoot
• Datatype Order Generator
• Haskell Show Class
• Xml
• Wooki
• woot-haskell
• wootjs
• Woot

This page was built for software: Certification_Monads