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 Event, Republic of Korea

TyDe 2021 – Preliminary Table of Contents

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message 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)
Preprint Info
A Simpler Encoding of Indexed Types
Yinsen ZhangORCID logo
(Pennsylvania State University, USA)
Article Search

proc time: 1.72