Monomorphic Monad

MaRDI QIDQ40297swMATHFDO

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

Described by source

• Effect polymorphism in higher-order logic (proof pearl)

Cited in

(6)

• Tycon
• CryptHOL
• Ordinals Cardinals
• Regex_Equivalence
• scientific article; zbMATH DE number 7471712 (Why is no real title available?)
• Effect polymorphism in higher-order logic (proof pearl)

This page was built for software: Monomorphic Monad