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
Welcome from the Chairs

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 Info
A Simpler Encoding of Indexed Types
Yinsen Zhang
(Pennsylvania State University, USA)
Publisher's Version

proc time: 0.51