Monadic State: Axiomatization and Type Safety.

John Launchbury, Amr Sabry

Browse the full ICFP paper archive.