Search for tag: "opt"

17:48 cos326-2020-08-05-proofs-programming-languages cos326-2020-08-05-proofs-programming-languages	cos326-2020-08-05-proofs-programming-languages Did I Get it Right? Part 5: Proofs About Programming Languages cos326 expression side hand opt expressions function cases programs programming e2 proof things functions languages argument thing language hypothesis induction integer From Daniel Macleod on August 16th, 2020 0 likes 138 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ