![Iavor Diatchki](https://popl20.sigplan.org/getProfileImage/iavordiatchki/122d58c4-3b79-49bb-9f6d-621637c633af/small.jpg?1711492862000)
Registered user since Mon 27 Feb 2017
Name:Iavor Diatchki
Affiliation:Galois, Inc.
Personal website: https://galois.com/team/iavor-diatchki/
Contributions
2020
Symposium on Practical Aspects of Declarative Languages
POPL 2020-profile
View general profile
View general profile