A coinductive monad for prop-bounded recursion (2007)

by Adam Megacz
Venue:In Proceedings of the ACM Workshop Programming Languages meets Program Verification