6 September 2024, 9th internatioinal workshop on Type-Driven Development (TyDe 2024), Milan, Italy
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 welcome all contributions, both theoretical and practical, on the workshop topics. Submissions should fall into one of two categories: regular research papers (12 pages) or extended abstracts (3 pages). Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines.