Code Generation for Higher Inductive Types.

Paventhan Vivekanandan

Published in: CoRR (2018)

Keyphrases

code generation
application development
modeling language
machine learning
code generator
open source
software development
e learning
web services
information technology
computer aided
rapid prototyping