Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini. Imperative Polymorphism by Store-Based Types as Abstract Interpretations. In Kenichi Asai, Kostis Sagonas, editors, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. pages 3-8, ACM, 2015. [doi]