Imperative Polymorphism by Store-Based Types as Abstract Interpretations

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},
}