Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming.

Paventhan Vivekanandan

Published in: WFLP (2018)

Keyphrases

code generation
databases
machine learning
real world
information systems
decision making
lightweight
database server