Approximate normalization for gradual dependent types.

Joseph Eremondi Éric Tanter Ronald Garcia

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

Keyphrases

real time
information retrieval
learning algorithm
artificial intelligence
computer vision
case study
expert systems