Monadic recursive bindings (2000)

by L Erkök, J Launchbury
Venue:In Proc.of5thACMSIGPLAN Int. Conf. on Functional Programming, ICFP’00