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 (AGERE!@SPLASH, 2019)

A Generic Type System for Higher-Order Ψ-calculi. - Alexander Rønning Bendixen; Bjarke Bredow Bojesen; Hans Hüttel; Stian Lasse Lybech (EXPRESS/SOS, 2022)