Towards Certified Meta-Programming with Typed Template-Coq.

Abhishek Anand Simon Boulier Cyril Cohen Matthieu Sozeau Nicolas Tabareau

Published in: ITP (2018)

Keyphrases

programming language
template matching
lambda calculus
input image
higher order
matching algorithm
neural network
technical support
development environment
case study
knowledge based systems
object oriented
pairwise
meta level
database systems
object oriented programming
formal methods
fully functional
database