Registered user since Mon 27 Feb 2017
Name:Iavor Diatchki
Affiliation:Galois, Inc.
Personal website: https://galois.com/team/iavor-diatchki/
Contributions
ICFP 2023-profile
View general profile
View general profile
ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
- Attending
- Program
- Tracks
- ICFP 2023
- Artifact Evaluation
- ICFP Keynotes
- ICFP Papers and Events
- ICFP Workshops
- Student Research Competition
- Diversity, Equity, and Inclusion
- Tutorials
- - Vehicle - A Specification Language for Neural Network Properties
- - Teaching and Learning Compilers Incrementally
- - Teaching Functional Programming
- - Porting Lwt applications to OCaml 5 and Eio
- Volunteers
- Workshops
- DeclMed
- Erlang
- FARM
- FHPNC
- FUNARCH
- HIW
- HOPE
- Higher-order, Typed, Inferred, Strict: ML Family Workshop
- OCaml
- PLMW @ ICFP
- Scheme
- TyDe
- miniKanren
- Co-hosted Symposia
- Haskell
- Organization
- ICFP 2023 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Artifact Evaluation
- ICFP Papers and Events
- Student Research Competition
- Tutorials
- Volunteers
- Contributors
- People Index
- Search
- Series