ICFP Workshops 2021
26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021)
Powered by
Conference Publishing Consulting
6th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2021), August 22, 2021, Virtual, Republic of Korea

TyDe 2021 – Proceedings

 Contents - Abstracts - Authors

6th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2021)

Frontmatter

Title Page
Article: icfpws21tydeforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws21tydeforeword-fm001-p doi:

Papers

Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, and Ronald P. A. Petrick
(Heriot-Watt University, UK)
Publisher's Version Article: icfpws21tydemain-p2-p doi:10.1145/3471875.3472990
A Simpler Encoding of Indexed Types
Yinsen Zhang
(Pennsylvania State University, USA)
Publisher's Version Article: icfpws21tydemain-p3-p doi:10.1145/3471875.3472991

proc time: 0