Make social videos in an instant: use custom templates to tell the right story for your business.
Post jobs, find pros, and collaborate commission-free in our professional marketplace.
Get your team aligned with all the tools you need on one secure, reliable video platform.
Browse and buy exceptional, royalty-free stock clips, handpicked by the best.
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
