00:00

00:00 / 00:00

cos326-2020-08-05-proofs-programming-languages

From Daniel Macleod August 16th, 2020

161 plays You unliked the media.

Did I Get it Right? Part 5: Proofs About Programming Languages

Date: August 16th, 2020
Speaker: David Walker
Department: COS
Location: Princeton NJ
Appears In: COS 326 Functional Programming

Loading

Related Media