A type theory for productive coprogramming via guarded recursion.

Rasmus Ejlers Møgelberg

Published in: CSL-LICS (2014)

Keyphrases

theoretical framework
neural network
real time
data sets
data structure
relational databases
theoretical basis
general theory
formal theory