Staged compilation with two-level type theory.

András Kovács

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

theoretical framework
information retrieval
multi agent systems
theoretical foundation
theoretical basis
general theory
database
databases
evolutionary algorithm
computational model
formal theory