ICFP Workshops 2020
25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)
Powered by
Conference Publishing Consulting

5th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2020), August 23, 2020, Virtual Event, USA

Workshop TyDe 2020 – Author Index

Contents - Abstracts - Authors

A C D H L R

Allwein, Gerard TyDe '20: "Strongly Bounded Termination ..."
Chadha, Rohit TyDe '20: "Strongly Bounded Termination ..."
Danielsson, Nils Anders TyDe '20: "Practical Dependent Type Checking ..."
Harrison, William L. TyDe '20: "Strongly Bounded Termination ..."
López Juan, Víctor TyDe '20: "Practical Dependent Type Checking ..."
Reynolds, Thomas TyDe '20: "Strongly Bounded Termination ..."

6 authors

proc time: 0.1