Imperative Polymorphism by Store-Based Types as Abstract Interpretations - Peter Mosses (2015)