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]

Authors

Alejandro Gadea

This author has not been identified. Look up 'Alejandro Gadea' in Google

Emmanuel Gunther

This author has not been identified. Look up 'Emmanuel Gunther' in Google

Miguel Pagano

This author has not been identified. Look up 'Miguel Pagano' in Google