16:16 Investigating the Impact of Using a Live Programming Environment in a CS1 Course UCSD Programming Systems 126 views - 4 years ago
9:28 Curry-Howard Correspondence: Correct Code [by just writing more code] UCSD Programming Systems 572 views - 5 years ago
31:46 Constraint Solvers for the Working PL Researcher - Nadia Polikarpova at PLMW@ICFP UCSD Programming Systems 1.6K views - 5 years ago
1:02:43 How to Design Talks - Ranjit Jhala at PLMW@PLDI UCSD Programming Systems 1.8K views - 5 years ago
0:31 Small-Step Live Programming by Example (Preview) UCSD Programming Systems 296 views - 5 years ago