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)

Encodability and Separation for a Reflective Higher-Order Calculus. - Stian Lasse Lybech (EXPRESS/SOS, 2022)

A Sound Type System for Secure Currency Flow. - Luca Aceto; Daniele Gorla; Stian Lybech (ECOOP, 2024)

Preventing Out-of-Gas Exceptions by Typing. - Luca Aceto; Daniele Gorla; Stian Lybech; Mohammad Hamdaqa (ISoLA (1), 2024)

Typing Composite Subjects. - Luca Aceto; Daniele Gorla; Stian Lybech (CoRR, 2024)

The reflective higher-order calculus: Encodability, typability and separation. - Stian Lybech (Inf. Comput., 2024)