Gresham College Lectures

The Verifying Compiler: A Grand Challenge for computing research of the 21st

• Gresham College

Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.

0:00 | 51:04