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.29