Interactive programming with dependent types.

Published in: ICFP (2013)

Keyphrases

website
real time
databases
data mining
machine learning
image processing
three dimensional
programming language
virtual reality
programming environment
information retrieval
computer graphics
development environment
highly interactive
hands on guide