Foundational Extensible Corecursion.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: CoRR (2015)

Keyphrases

markup language
data model
databases
object oriented
image processing
case study
database systems
pairwise
general purpose
co occurrence
programming language
peer to peer