Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

(FIVE YEARS 0)

9781450380515

Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development ◽

10.1145/3406089.3409029 ◽

2020 ◽

Author(s):

Thomas Reynolds ◽

William L. Harrison ◽

Rohit Chadha ◽

Gerard Allwein

Keyword(s):

Hardware Synthesis

Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development ◽

10.1145/3406089.3409030 ◽

2020 ◽

Author(s):

Víctor López Juan ◽

Nils Anders Danielsson

Keyword(s):

Type Checking ◽

Dependent Type