Imperative Polymorphism by Store-Based Types as Abstract Interpretations.

Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini

Browse the full PEPM paper archive.