Stian Lasse Lybech

According to our database, Stian Lasse Lybech authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The reflective higher-order calculus: Encodability, typability and separation.

Stian Lybech

Inf. Comput., 2024

A Sound Type System for Secure Currency Flow.

Luca Aceto, Daniele Gorla, Stian Lybech

CoRR, 2024

2022

Encodability and Separation for a Reflective Higher-Order Calculus.

Stian Lasse Lybech

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

A Generic Type System for Higher-Order Ψ-calculi.

Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

2019

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

Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019