BibTeX record conf/pepm/PoulsenMT15

download as .bib file

@inproceedings{DBLP:conf/pepm/PoulsenMT15,
  author    = {Casper Bach Poulsen and
               Peter D. Mosses and
               Paolo Torrini},
  title     = {Imperative Polymorphism by Store-Based Types as Abstract Interpretations},
  booktitle = {{PEPM}},
  pages     = {3--8},
  publisher = {{ACM}},
  year      = {2015}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics