ICFP Workshops 2023
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
Powered by
Conference Publishing Consulting

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

Workshop TyDe 2023 – Author Index

Contents - Abstracts - Authors

A B E F H L P W X Z

Ahmed, Amal TyDe '23: "Semantic Encapsulation using ..."
Blair, William TyDe '23: "A Dependently Typed Language ..."
Eades III, Harley TyDe '23: "Combining Dependency, Grades, ..."
Fu, Qiancheng TyDe '23: "A Dependently Typed Language ..." TyDe '23: "A Calculus of Inductive Linear ..."
Hanukaev, Peter TyDe '23: "Combining Dependency, Grades, ..."
Lemay, Mark TyDe '23: "A Dependently Typed Language ..."
Paszke, Adam TyDe '23: "Infix-Extensible Record Types ..."
Patterson, Daniel TyDe '23: "Semantic Encapsulation using ..."
Wagner, Andrew TyDe '23: "Semantic Encapsulation using ..."
Xi, Hongwei TyDe '23: "A Dependently Typed Language ..." TyDe '23: "A Calculus of Inductive Linear ..."
Xie, Ningning TyDe '23: "Infix-Extensible Record Types ..."
Zhang, Cheng TyDe '23: "A Dependently Typed Language ..."

12 authors

proc time: 3.26