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
Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations
Benjamin C. Pierce; University of Pennsylvania
International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN
