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

TyDe 2023 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Welcome from the Chairs
TyDe 2023 Organization

Papers

A Calculus of Inductive Linear Constructions
Qiancheng Fu ORCID logo and Hongwei Xi ORCID logo
(Boston University, USA)
Publisher's Version Published Artifact Artifacts Available
Semantic Encapsulation using Linking Types
Daniel Patterson ORCID logo, Andrew Wagner ORCID logo, and Amal AhmedORCID logo
(Northeastern University, USA)
Publisher's Version
Infix-Extensible Record Types for Tabular Data
Adam Paszke ORCID logo and Ningning Xie ORCID logo
(Google DeepMind, Germany; Google DeepMind, Canada)
Publisher's Version
A Dependently Typed Language with Dynamic Equality
Mark Lemay ORCID logo, Qiancheng Fu ORCID logo, William Blair ORCID logo, Cheng Zhang ORCID logo, and Hongwei Xi ORCID logo
(Autodesk, USA; Boston University, USA)
Publisher's Version
Combining Dependency, Grades, and Adjoint Logic
Peter Hanukaev ORCID logo and Harley Eades III ORCID logo
(Augusta University, USA)
Publisher's Version

proc time: 0.94