Recursion Schemes in Coq.

Kosuke Murata Kento Emoto

Published in: APLAS (2019)

Keyphrases

formal methods
complex objects
information systems
database systems
transitive closure
real time
genetic algorithm
search engine
computer vision
multimedia
case study
expert systems
wireless sensor networks
deductive databases
datalog programs