Recursive Monadic Bindings (2000)

by Levent Erkok, John Launchbury