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 Article: icfpws23tydemain-p2-p doi:10.1145/3609027.3609404

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

Publisher's Version Article: icfpws23tydemain-p4-p doi:10.1145/3609027.3609405

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

Publisher's Version Article: icfpws23tydemain-p6-p doi:10.1145/3609027.3609406

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 Article: icfpws23tydemain-p9-p doi:10.1145/3609027.3609407

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

Publisher's Version Article: icfpws23tydemain-p11-p doi:10.1145/3609027.3609408

proc time: 0.01