Alejandro Gadea, Emmanuel Gunther, Miguel Pagano. The importance of being Extrinsic: Coherence and adequacy for a call-by-value language. In Fabio Mascarenhas, editor, Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017. ACM, 2017. [doi]
@inproceedings{GadeaGP17,
title = {The importance of being Extrinsic: Coherence and adequacy for a call-by-value language},
author = {Alejandro Gadea and Emmanuel Gunther and Miguel Pagano},
year = {2017},
doi = {10.1145/3125374.3125378},
url = {https://doi.org/10.1145/3125374.3125378},
researchr = {https://researchr.org/publication/GadeaGP17},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017},
editor = {Fabio Mascarenhas},
publisher = {ACM},
isbn = {978-1-4503-5389-2},
}