Haskell Show Class

MaRDI QIDQ40548swMATHFDO

Authors Christian Sternagel, René Thiemann

Publication date 29 July 2014

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

Cited in

(6)

• A verified compiler from Isabelle/HOL to CakeML
• Xml
• Certification_Monads
• CakeML_Codegen
• Nominal2
• A framework for developing stand-alone certifiers

This page was built for software: Haskell Show Class