Call-by-name Gradual Type Theory.

Max S. New Daniel R. Licata

Published in: CoRR (2018)

Keyphrases

formal theory
general theory
computational model
neural network
information retrieval
genetic algorithm
image sequences
face recognition
fuzzy sets
theoretical framework
theoretical basis