Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Vilem-Benjamin Liepelt

Quantitative Program Reasoning With Graded Modal Types

Proceedings of the ACM on Programming Languages

English