Stian Lasse Lybech

According to our database, Stian Lasse Lybech authored at least 6 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

Preventing Out-of-Gas Exceptions by Typing.

Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

A Sound Type System for Secure Currency Flow.

Luca Aceto, Daniele Gorla, Stian Lybech

Proceedings of the 38th European Conference on Object-Oriented Programming, 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