Is sized typing for Coq practical?

Jonathan Chan Yufeng Li William J. Bowman

Published in: J. Funct. Program. (2023)

Keyphrases

real world
neural network
multimedia
three dimensional
databases
genetic algorithm
learning algorithm
image processing
information technology
recommender systems
medical images
practical application
theorem prover
small sized