One Monad to Prove Them All

Sandra Dylus, Jan Christiansen, Finn Teegen. One Monad to Prove Them All. Programming Journal, 3(3):8, 2019. [doi]

Authors

Sandra Dylus

This author has not been identified. Look up 'Sandra Dylus' in Google

Jan Christiansen

This author has not been identified. It may be one of the following persons: Look up 'Jan Christiansen' in Google

Finn Teegen

This author has not been identified. Look up 'Finn Teegen' in Google