Mechanizing Refinement Types.

Michael Borkowski Niki Vazou Ranjit Jhala

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

Keyphrases

multi agent
preprocessing
management system
neural network
artificial intelligence
computer vision
e learning
image processing
case study
multiscale
data analysis
evolutionary algorithm
multiresolution