C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Eliminating reflection from type theory.
Théo Winterhalter
Matthieu Sozeau
Nicolas Tabareau
Published in:
CPP (2019)
Keyphrases
</>
general theory
computational model
machine learning
database systems
theoretical framework
theoretical basis
knowledge base
data structure
information technology
programming language
decision theory
formal theory