Handling delimited continuations with dependent types.

Youyou Cong Kenichi Asai

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

knowledge base
real time
neural network
real world
machine learning
artificial intelligence
computer vision
information systems
multimedia
data streams
image retrieval