Rasmus Ejlers Møgelberg, Alex Simpson. A Logic for Parametric Polymorphism with Effects. In Marino Miculan, Ivan Scagnetto, Furio Honsell, editors, Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Volume 4941 of Lecture Notes in Computer Science, pages 142-156, Springer, 2007. [doi]
@inproceedings{MogelbergS07:1,
title = {A Logic for Parametric Polymorphism with Effects},
author = {Rasmus Ejlers Møgelberg and Alex Simpson},
year = {2007},
doi = {10.1007/978-3-540-68103-8_10},
url = {http://dx.doi.org/10.1007/978-3-540-68103-8_10},
tags = {logic},
researchr = {https://researchr.org/publication/MogelbergS07%3A1},
cites = {0},
citedby = {0},
pages = {142-156},
booktitle = {Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers},
editor = {Marino Miculan and Ivan Scagnetto and Furio Honsell},
volume = {4941},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-68084-0},
}