TyDe 2020 – Proceedings

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

Frontmatter

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