TyDe 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
co-located with ICFP 2019
Conference Editions
Sun 18 - Fri 23 August 2019, Berlin, Germany

TyDe 2019 with ICFP 2019

The 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 States

TyDe 2018 with ICFP 2018

The 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 Kingdom

TyDe 2017 with ICFP 2017

The 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, Japan

TyDe 2016 with ICFP 2016