![Filip Sieczkowski](https://popl19.sigplan.org/getProfileImage/filipsieczkowski/3c79141a-aba0-49c0-a1e2-10ac22ded205/small.jpg?1711491104000)
Registered user since Sat 11 Jun 2016
Name:Filip Sieczkowski
Country:Poland
Affiliation:University of Wrocław
Research interests:Verification, Program Logics, Module Systems, Continuations
Contributions
2019
POPL 2019-profile
View general profile
View general profile