Sign in

Partial type equivalences for verified dependent interoperability.

Pierre-Évariste DagandNicolas 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