A language-based approach to functionally correct imperative programming.

Edwin M. Westbrook, Aaron Stump, Ian Wehrman

Browse the full ICFP paper archive.