Login / Signup
Vilem-Benjamin Liepelt
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Real World
Information Retrieval
Spatial Reasoning
Qualitative And Quantitative
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Dominic Orchard
,
Vilem-Benjamin Liepelt
,
Harley Eades III
Quantitative program reasoning with graded modal types.
Proc. ACM Program. Lang.
3 (ICFP) (2019)