Stian Lybech

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Top Venues

Publications

Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
Preventing Out-of-Gas Exceptions by Typing. CoRR (2024)
Hans Hüttel, Stian Lybech, Alexander Rønning Bendixen, Bjarke Bredow Bojesen
A generic type system for higher-order Ψ-calculi. Inf. Comput. 300 (2024)
Luca Aceto, Daniele Gorla, Stian Lybech
A Sound Type System for Secure Currency Flow. CoRR (2024)
Stian Lybech
The reflective higher-order calculus: Encodability, typability and separation. Inf. Comput. 297 (2024)