Certification_Monads

MaRDI QIDQ43946swMATHFDO

Authors Christian Sternagel, René Thiemann

Publication date 3 October 2014

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

Cited in

(10)

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

This page was built for software: Certification_Monads