A language-based approach to functionally correct imperative programming (2005)

Cached

Download Links

by Edwin Westbrook , Aaron Stump , Ian Wehrman
Venue:IN PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP05
Citations:35 - 8 self