Login / Signup
David Läwen
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Probability Distribution
Lower Bound
Refinement Process
Three Dimensional
Top Venues
TyDe@ICFP
</>
Publications
</>
David Binder
,
Ingo Skupin
,
David Läwen
,
Klaus Ostermann
Structural refinement types.
TyDe@ICFP
(2022)