Powered by
8th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2023), September 4, 2023,
Seattle, WA, USA
8th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2023)
Frontmatter
Papers
Semantic Encapsulation using Linking Types
Daniel Patterson,
Andrew Wagner, and
Amal Ahmed
(Northeastern University, USA)
@InProceedings{TyDe23p16,
author = {Daniel Patterson and Andrew Wagner and Amal Ahmed},
title = {Semantic Encapsulation using Linking Types},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3609027.3609405},
year = {2023},
}
Publisher's Version
Infix-Extensible Record Types for Tabular Data
Adam Paszke and
Ningning Xie
(Google DeepMind, Germany; Google DeepMind, Canada)
@InProceedings{TyDe23p31,
author = {Adam Paszke and Ningning Xie},
title = {Infix-Extensible Record Types for Tabular Data},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3609027.3609406},
year = {2023},
}
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)
@InProceedings{TyDe23p46,
author = {Mark Lemay and Qiancheng Fu and William Blair and Cheng Zhang and Hongwei Xi},
title = {A Dependently Typed Language with Dynamic Equality},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3609027.3609407},
year = {2023},
}
Publisher's Version
Combining Dependency, Grades, and Adjoint Logic
Peter Hanukaev and
Harley Eades III
(Augusta University, USA)
@InProceedings{TyDe23p61,
author = {Peter Hanukaev and Harley Eades III},
title = {Combining Dependency, Grades, and Adjoint Logic},
booktitle = {Proc.\ TyDe},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3609027.3609408},
year = {2023},
}
Publisher's Version
proc time: 0.72
Published Artifact
Artifacts Available