TyDe
Fri 6 - Sat 7 September 2024 Milan, ItalyTyDe 2024 with ICFP 2024The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: depend ... |
Mon 4 - Sat 9 September 2023 Seattle, Washington, United StatesTyDe 2023 with ICFP 2023The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: depend ... |
Sun 11 - Fri 16 September 2022 Ljubljana, SloveniaTyDe 2022 with ICFP 2022The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: depend ... |
Sun 22 - Mon 23 August 2021 TyDe 2021 with ICFP 2021TyDe 2021 Keynote by Wen Kokke: Integrating Agda with SMT-LIB – An incomplete list of pits I fell in The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We ... |
Sun 23 Aug 2020 TyDe 2020 with ICFP 2020The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: dependently t ... |
Sun 18 - Fri 23 August 2019 Berlin, GermanyTyDe 2019 with ICFP 2019The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. The workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. For information about the workshop series, see the permanent website. |
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United StatesTyDe 2018 with ICFP 2018The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. The workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. |
Sun 3 - Sat 9 September 2017 Oxford, United KingdomTyDe 2017 with ICFP 2017The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. The workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: dependently typed programming; gen ... |
Sun 18 - Sat 24 September 2016 Nara, JapanTyDe 2016 with ICFP 2016 |