Partial type equivalences for verified dependent interoperability.

Pierre-Évariste Dagand Nicolas Tabareau Éric Tanter

Published in: ICFP (2016)

Keyphrases

neural network
databases
artificial intelligence
case study
information technology
real time
web services
image sequences
digital libraries
multiple types
ontology mapping