Type-Level Property Based Testing.

Thomas Ekström Hansen Edwin Brady

Published in: TyDe@ICFP (2024)

Keyphrases

machine learning
multiscale
digital libraries
control system
input image
medical images
test set