Tycon

MaRDI QIDQ37009swMATHFDO

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

Described by source

• Formal verification of monad transformers

Cited in

(4)

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

This page was built for software: Tycon