Login / Signup
A verified type system for CakeML.
Yong Kiam Tan
Scott Owens
Ramana Kumar
Published in:
IFL (2015)
Keyphrases
</>
real time
image processing
artificial intelligence
search engine
object recognition
hidden markov models