TyDe 2023 – Proceedings

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

Frontmatter

Papers

A Calculus of Inductive Linear Constructions
Qiancheng Fu and Hongwei Xi
(Boston University, USA)

Publisher's Version Published Artifact Artifacts Available

Semantic Encapsulation using Linking Types
Daniel Patterson, Andrew Wagner, and Amal Ahmed
(Northeastern University, USA)

Publisher's Version

Infix-Extensible Record Types for Tabular Data
Adam Paszke and Ningning Xie
(Google DeepMind, Germany; Google DeepMind, Canada)

Publisher's Version

A Dependently Typed Language with Dynamic Equality
Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, and Hongwei Xi
(Autodesk, USA; Boston University, USA)

Publisher's Version

Combining Dependency, Grades, and Adjoint Logic
Peter Hanukaev and Harley Eades III
(Augusta University, USA)

Publisher's Version

proc time: 0.95