Staged Compilation with Two-Level Type Theory.

András Kovács

Published in: CoRR (2022)

Keyphrases

theoretical basis
theoretical framework
general theory
formal theory
information technology
multiresolution
conceptual framework
database
search engine
metadata
lower bound
information theory