Safe functional reactive programming through dependent types.

Neil Sculthorpe Henrik Nilsson

Published in: ICFP (2009)

Keyphrases

programming language
reactive systems
artificial intelligence
programming environment
functional language
real time
computer vision
e learning
image processing
database systems