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
Article: icfpws23tydeforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws23tydeforeword-fm001-p doi:
TyDe 2023 Organization
Article: icfpws23tydeforeword-fm002-p doi:

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