Partial Gradual Dependent Type Theory.

Published in: SPLASH Companion (2023)

Keyphrases

theoretical basis
theoretical framework
databases
information retrieval
data structure
real time
decision making
image processing
multiresolution
data model
computational model
formal theory
type checking
difference equations