Safe Functional Abstractions in a Polymorphic, Imperative Language by Shail Aditya.