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.
Safe Functional Reactive Programming through Dependent Types
Neil Sculthorpe and Henrik Nilsson; University of Nottingham
International Conference on Functional Programming (ICFP)