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