Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
Treating for-Loops as First-Class Citizens in Proofs
Nathan Wasser
,
Dominic Steinhöfel
January 2020
PDF
Cite
Type
Journal article
Publication
Computing Research Repository (CoRR)
Cite
×