Recursive monadic bindings (2000)

by L Erkök, J Launchbury
Venue:In: International Conference on Functional Programming