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]

Authors

Michael Tran

This author has not been identified. Look up 'Michael Tran' in Google

Alexander Rønning Bendixen

This author has not been identified. Look up 'Alexander Rønning Bendixen' in Google

Bjarke Bredow Bojesen

This author has not been identified. Look up 'Bjarke Bredow Bojesen' in Google

Hans Hüttel

This author has not been identified. Look up 'Hans Hüttel' in Google

Stian Lasse Lybech

This author has not been identified. Look up 'Stian Lasse Lybech' in Google