Videos tagged programming-language-software-genre
- Bodil Stokke on µKanren: A Minimal Functional Core for Relational Programming Video 2015-10-13
- Phil Freeman on Principal type-schemes for functional programs Video 2015-06-25
- Jean Yang on An Axiomatic Basis for Computer Programming Video 2014-12-26
- Peter Burka on Crossing the Gap from Imperative to Functional Programming through Refactoring Video 2014-11-03