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

Workshop TyDe 2021 – Author Index

Contents - Abstracts - Authors

D H K P Z

Daggitt, Matthew L. TyDe '21: "Actions You Can Handle: Dependent ..."
Hill, Alasdair TyDe '21: "Actions You Can Handle: Dependent ..."
Komendantskaya, Ekaterina TyDe '21: "Actions You Can Handle: Dependent ..."
Petrick, Ronald P. A. TyDe '21: "Actions You Can Handle: Dependent ..."
Zhang, Yinsen TyDe '21: "A Simpler Encoding of Indexed ..."

5 authors

proc time: 0.73