The importance of being Extrinsic: Coherence and adequacy for a call-by-value language

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]

Bibliographies