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)


@InProceedings{TyDe20p1, author = {Thomas Reynolds and William L. Harrison and Rohit Chadha and Gerard Allwein}, title = {Strongly Bounded Termination with Applications to Security and Hardware Synthesis}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3406089.3409029}, year = {2020}, } Publisher's Version

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)


@InProceedings{TyDe20p16, author = {Víctor López Juan and Nils Anders Danielsson}, title = {Practical Dependent Type Checking using Twin Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3406089.3409030}, year = {2020}, } Publisher's Version

proc time: 0.64