Make social videos in an instant: use custom templates to tell the right story for your business.
Record and instantly share video messages from your browser.
Broadcast your events with reliable, high-quality live streaming.
Get your team aligned with all the tools you need on one secure, reliable video platform.
Please enable JavaScript to experience Vimeo in all of its glory.
from Malcolm Wallace
Experience Report: seL4: Formally Verifying a High-Performance Microkernel
Gerwin Klein , Philip Derrin , Kevin Elphinstone; NICTA & UNSW, NICTA
International Conference on Functional Programming (ICFP) Edinburgh 2009 ACM SIGPLAN
