Monomorphic Monad

swMATH28583MaRDI QIDQ40297FDOQ40297

Author name not available (Why is that?)

Described by source

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

Cited In (2)

• Title not available (Why is that?)
• Effect polymorphism in higher-order logic (proof pearl)

This page was built for software: Monomorphic Monad