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

Tue, 01 Jan 2019 00:00:00 +0100

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. AGERE!@SPLASH 2019: 31-40