Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
ICFP 2019 (series) / Iavor Diatchki
Iavor Diatchki

Registered user since Mon 27 Feb 2017

Name:Iavor Diatchki
Affiliation:Galois, Inc.
Personal website:https://galois.com/team/iavor-diatchki/

Contributions

ICFP 2019 Dependently Typed Haskell in Industry (Experience Report)
Verifying Imperative Programs with SAW
Show activities from other conferences

ICFP 2019-profile
View general profile