Call-by-Name Gradual Type Theory.

Max S. New Daniel R. Licata

Published in: FSCD (2018)

Keyphrases

computational model
machine learning
information systems
three dimensional
theoretical framework
information theory
real time
databases
artificial intelligence
trade off
wireless sensor networks
multiple types
formal theory