A coinductive monad for prop-bounded recursion (2007)

by A Megacz
Venue:Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007