| CARVIEW |
Workshop on Type-driven Development (TyDe)
The workshop on Type-driven Development aims to show how static type information may be used effectively in the development of computer programs. Colocated with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.
Upcoming workshop
2025, Singapore
Previous workshops
2020, Jersey City (local copy)
Steering committee
The TyDe Workshop steering committee comprises three pairs of TyDe Workshop co-chairs and two appointed members-at-large.
Each year, shortly after the date of the TyDe Workshop, the steering committee appoints two co-chairs for the next TyDe Workshop. The steering committee additionally appoints a new member-at-large to succeed the currently longest serving member-at-large, if their two-year term is expiring. The newly appointed co-chairs and member-at-large then join the steering committee, while the longest serving former co-chairs and member-at-large step down.
The chair of the steering committee is one of the two longest serving co-chairs.
Should there be vacancies within the steering committee, e.g. due to a member stepping down early, the steering committee appoints members to fill the vacancies and, if necessary, decides on the succession ordering.
Present members
PC co-chairs
- Nada Amin (2022, SC chair)
- Harley Eades III (2022)
- Youyou Cong (2023)
- Pierre-Evariste Dagand (2023)
- Sandra Alves (2024)
- Jesper Cockx (2024)
Members-at-large
- Patricia Johann (end of term 2025)
- Shin-Cheng Mu (end of term 2026)
Former members
PC co-chairs
- James Chapman (2016)
- Wouter Swierstra (2016)
- Sam Lindley (2017)
- Brent Yorgey (2017)
- Richard Eisenberg (2018)
- Niki Vazou (2018)
- David Darais (2019)
- Jeremy Gibbons (2019)
- James McKinna (2020)
- Cyrus Omar (2020)
- Hsiang-Shang ‘Josh’ Ko (2021)
- Dominic Orchard (2021)
Members-at-large
- Fritz Henglein (end of term 2018)
- Bruno Oliveira (end of term 2019)
- Oleg Kiselyov (end of term 2020)
- Daan Leijen (end of term 2021)
- Zena M. Ariola (end of term 2023)
- Liam O’Connor (end of term 2024)