Tycon

MaRDI QIDQ37009swMATHFDO

Authors Brian Huffman

Publication date 26 June 2012

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

Cites work

• Formal verification of monad transformers
• Theorem Proving in Higher Order Logics

Described by source

• Formal verification of monad transformers

Cited in

(4)

• HOLCF
• Monomorphic Monad
• Effect polymorphism in higher-order logic (proof pearl)
• Monae

This page was built for software: Tycon