Explicit Refinement Types.

Jad Elkhaleq Ghalayini Neel Krishnaswami

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

learning algorithm
image segmentation
artificial neural networks
website
similarity measure
search algorithm