Practical Unification using Twin Types (TyDe 2020)

Víctor López Juan and Nils Anders Danielsson
Practical Dependent Type Checking using Twin Types
5th ACM SIGPLAN International Workshop on Type-Driven Development
(TyDe 2020)
doi:10.1145/3406089.3409030

• Download video (H264, 277MB)
• Talk slides (pdf)
• Paper pre-print (pdf)