"Imperative Polymorphism by Store-Based Types as Abstract Interpretations."

Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics