Locations and session types in a language with higher-order reflection

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]

Abstract

Abstract is missing.