Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech. Locations and session types in a language with higher-order reflection. In Federico Bergenti, Elias Castegren, Joeri De Koster, Juliana Franco, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2019, Athens, Greece, October 22, 2019. pages 31-40, ACM, 2019. [doi]
@inproceedings{TranBBHL19,
title = {Locations and session types in a language with higher-order reflection},
author = {Michael Tran and Alexander Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lasse Lybech},
year = {2019},
doi = {10.1145/3358499.3361223},
url = {https://doi.org/10.1145/3358499.3361223},
researchr = {https://researchr.org/publication/TranBBHL19},
cites = {0},
citedby = {0},
pages = {31-40},
booktitle = {Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2019, Athens, Greece, October 22, 2019},
editor = {Federico Bergenti and Elias Castegren and Joeri De Koster and Juliana Franco},
publisher = {ACM},
isbn = {978-1-4503-6982-4},
}