Vilem-Benjamin Liepelt

According to our database, Vilem-Benjamin Liepelt authored at least 2 papers between 2019 and 2026.

Collaborative distances:

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

2026

On Graded Coeffect Types for Information-Flow Control.

Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer

Proceedings of the Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice, 2026

2019

Quantitative program reasoning with graded modal types.

Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III

Proc. ACM Program. Lang., 2019