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. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.

The next workshop will take place in Oxford on Sunday 3rd September 2017.

Previous workshops

2016, Nara