39:40
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
14.5K views
View & DownloadStrange Loop Conference
14.5K views
View & DownloadPL HCI Swimmer School
468 views
View & DownloadChalmers Functional Programming Seminar Series
3.1K views
View & DownloadUniversity of California Television (UCTV)
2.8K views
View & DownloadConference on Computer-Aided Verification
1.4K views
View & DownloadSimons Institute for the Theory of Computing
2.1K views
View & DownloadUCSD Programming Systems
1.6K views
View & Download