Powered by

8th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2023), September 4, 2023, Seattle, WA, USA

TyDe 2023 – Proceedings

Contents - Abstracts - Authors

8th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2023)

and Hongwei Xi

(Boston University, USA)

, Andrew Wagner

(Northeastern University, USA)

and Ningning Xie

(Google DeepMind, Germany; Google DeepMind, Canada)

, Qiancheng Fu

, William Blair

, Cheng Zhang

, and Hongwei Xi

(Autodesk, USA; Boston University, USA)

and Harley Eades III

(Augusta University, USA)

proc time: 1.76