Sign in

Safe couplings: coupled refinement types.

Elizaveta VasilenkoNiki VazouGilles Barthe
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • feature extraction
  • data mining
  • search engine
  • multiresolution
  • real time
  • data sets
  • databases
  • high level
  • database systems
  • multiscale
  • video sequences
  • expert systems