Call-by-name Gradual Type Theory.

Max S. New Daniel R. Licata

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

theoretical basis
theoretical framework
genetic algorithm
trade off
computational model
general theory
databases
neural network
image sequences
data structure
expert systems
artificial neural networks
multiresolution
logic programs
information theory