Mtac: A monad for typed tactic programming in Coq.
Beta ZilianiDerek DreyerNeelakantan R. KrishnaswamiAleksandar NanevskiViktor VafeiadisPublished in: J. Funct. Program. (2015)
Keyphrases
- programming language
- higher order
- lambda calculus
- neural network
- formal methods
- real time
- fixed order
- programming concepts
- artificial neural networks
- high level language
- programming environment
- object oriented programming
- relational databases
- expert systems
- data structure
- similarity measure
- website
- artificial intelligence
- data sets