Statistics
Publications
1
Citations
20
H-Index
1
Active since
2021
Affiliations
University of Amsterdam(Current)
Daniël Louwrink is an author at University of Amsterdam specializing in concurrent program verification, computing, and message-passing models.
Publications per year
2021–2021
1
1
Machine-checked semantic session typing
Jonas Kastberg Hinrichsen, Daniël Louwrink, Robbert Krebbers et al. · 2021 · 20 citations · Full text
1–1 of 1