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

TyDe 2020 – Proceedings

Contents - Abstracts - Authors

5th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe 2020)

Frontmatter

Title Page
Article: icfpws20tydeforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws20tydeforeword-fm001-p doi:

Papers

Strongly Bounded Termination with Applications to Security and Hardware Synthesis
Thomas Reynolds, William L. Harrison, Rohit Chadha, and Gerard Allwein
(University of Missouri, USA; Oak Ridge National Laboratory, USA; US Naval Research Laboratory, USA)
Publisher's Version Article: icfpws20tydemain-p4-p doi:10.1145/3406089.3409029
Practical Dependent Type Checking using Twin Types
Víctor López Juan and Nils Anders Danielsson
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Publisher's Version Article: icfpws20tydemain-p6-p doi:10.1145/3406089.3409030

proc time: 0