Type-Level Property Based Testing

Thomas Ekström Hansen, Edwin Brady. Type-Level Property Based Testing. In Sandra Alves, Jesper Cockx, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024. pages 37-49, ACM, 2024. [doi]

Abstract

Abstract is missing.