Search for tag: "languages"

Effective ML

Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020

From  Andrew Appel on November 5th, 2020 0 likes 81 plays

cos326-2020-01-01-intro

Welcome and Introduction

From  Andrew Appel on August 24th, 2020 0 likes 303 plays

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

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

From  Daniel Macleod on August 16th, 2020 0 likes 138 plays

cos326-2020-04-04-type-history

Where did type systems come from?

From  Daniel Macleod on August 14th, 2020 0 likes 139 plays

cos326-2020-01-02-ocaml

Introduction to Ocaml

From  Daniel Macleod on August 13th, 2020 0 likes 427 plays

Innovating the Internet: Prof. Jennifer Rexford on the importance of collaborative research

Professor Jennifer Rexford, chair of the computer science department, the Gordon Y. S. Wu Professor in Engineering, and a veteran of industry, talks about innovating the inside of the Internet…

From  Tracy Meyer on June 25th, 2018 0 likes 23 plays