TyDe 2020Posted in Programming Languages5th Workshop on Type-Driven Development (TyDe 2020) Event Date: Aug 23, 2020 - Aug 23, 2020 Posted inLocation: Online (co-located with ICFP 2020) Deadline: May 19, 2020
TyDe 2019Posted in Programming Languages4th Workshop on Type-Driven Development (TyDe 2019) Event Date: Aug 18, 2019 - Aug 18, 2019 Posted inLocation: Berlin, Germany Deadline: May 19, 2019
