Type-Level Property Based Testing Article Swipe
Related Concepts
Thomas Ekström Hansen
,
Edwin Brady
·
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3678000.3678206
· OA: W4401942770
YOU?
·
· 2024
· Open Access
·
· DOI: https://doi.org/10.1145/3678000.3678206
· OA: W4401942770
Funding: UK EPSRC grant EP/T007265/1.
Related Topics
Finding more related topics…