Video: Capabilities for Control - Martin Ordersky @ ICFP