About |
|
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. |
Call for Papers |
|
We welcome all contributions, both theoretical and practical, on a range of topics including:
|
Summary |
|
TyDe 2020 : 5th Workshop on Type-Driven Development will take place in Online (co-located with ICFP 2020). It’s a 1 day event starting on Aug 23, 2020 (Sunday) and will be winded up on Aug 23, 2020 (Sunday). TyDe 2020 falls under the following areas: PROGRAMMING LANGUAGES, FUNCTIONAL PROGRAMMING, GENERIC PROGRAMMING, etc. Submissions for this Workshop can be made by May 19, 2020. Authors can expect the result of submission by Jun 09, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 30, 2020 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the TyDe 2020
|
Credits and Sources |
| [1] TyDe 2020 : 5th Workshop on Type-Driven Development |
