Safe functional reactive programming through dependent types (2009)

by Neil Sculthorpe, Henrik Nilsson
Venue:In International Conference on Functional Programming (ICFP ’09