A reasonably gradual type theory.

Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau Éric Tanter

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

Keyphrases

theoretical basis
information retrieval
theoretical framework
computer vision
decision trees
cooperative
artificial neural networks
medical images
computational model