Please enable JavaScript to experience Vimeo in all of its glory.
from Malcolm Wallace
Safe Functional Reactive Programming through Dependent Types
Neil Sculthorpe and Henrik Nilsson; University of Nottingham
International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN