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]
@inproceedings{PoulsenMT15,
title = {Imperative Polymorphism by Store-Based Types as Abstract Interpretations},
author = {Casper Bach Poulsen and Peter D. Mosses and Paolo Torrini},
year = {2015},
doi = {10.1145/2678015.2682545},
url = {http://doi.acm.org/10.1145/2678015.2682545},
researchr = {https://researchr.org/publication/PoulsenMT15},
cites = {0},
citedby = {0},
pages = {3-8},
booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
editor = {Kenichi Asai and Kostis Sagonas},
publisher = {ACM},
isbn = {978-1-4503-3297-2},
}