Login / Signup

A verified type system for CakeML.

Yong Kiam TanScott OwensRamana Kumar
Published in: IFL (2015)
Keyphrases
  • real time
  • image processing
  • artificial intelligence
  • search engine
  • object recognition
  • hidden markov models