Correctness of Monadic State: An Imperative Call-by-Need Calculus.

Zena M. Ariola, Amr Sabry

Browse the full POPL paper archive.