David Läwen

I'm a PhD student in the CYCLIC project, supervised by Robbert Krebbers at the Department of Software Science at Radboud University in Nijmegen.

Publications

Structural Refinement Types

David Binder, Ingo Skupin, David Läwen, Klaus Ostermann
Workshop on Type-Driven Development (TyDe), September 2022
PDF | DOI | Talk by David Binder

Email:

let (x,y) = (david,laewen) in x.y@ru.nl