![Filip Sieczkowski](https://icfp20.sigplan.org/getProfileImage/filipsieczkowski/2cbefe0a-cbf4-4bf8-81fe-8c840524fa49/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
ICFP 2020-profile
View general profile
View general profile