Search for tag: "ml"

12:39 cos326-2020-04-04-type-history cos326-2020-04-04-type-history	cos326-2020-04-04-type-history Where did type systems come from? cos326 languages ml programming pointer functions theory computer vulnerabilities language types sets systems records variant record integer runtime calculus paradox russell From Daniel Macleod on August 14th, 2020 0 likes 139 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
08:16 cos326-2020-04-01-c-rant cos326-2020-04-01-c-rant	cos326-2020-04-01-c-rant C Rant cos326 cons java tail vulnerabilities cases point head lists ml length ocaml thing programming lot induction values bit types pointers sell From Daniel Macleod on August 14th, 2020 0 likes 200 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
43:11 cos326-2020-01-02-ocaml cos326-2020-01-02-ocaml	cos326-2020-01-02-ocaml Introduction to Ocaml cos326 expression ocaml int function window dot unit string languages programs functions ml language programming integer rule values expressions side compiler From Daniel Macleod on August 13th, 2020 0 likes 429 plays Date August 12th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ