Safe functional reactive programming through dependent types (2009)

by N Sculthorpe, H Nilsson
Venue:In International Conference on Functional Programming (ICFP