oberon
The Multicompiler: Software Defenses Using Compiler Techniques
Franz Michael, 20.02.2014. Length: 00:47:50
Stepwise refinement: from common sense to common practice
Morgan Carroll, 20.02.2014. Length: 01:02:04
Convergence and divergence in programming language design
Meyer Bertrand, 20.02.2014. Length: 00:46:48
When Less is More: Designing Predictable and Robust Systems
Eberle Hans, 20.02.2014. Length: 00:42:33