Search for tag: "expressions"

05December2023_PJiang

From  PPPL Admins 0 likes 5 plays

OURSIP Intern - Zoha Khan

Developmental Perception of Facial Expression to Identified Emotion: Disgust and Anger Advised by: Prof. Jesse Gomez, Princeton Neuroscience Institute

From  our Undergraduate Research 0 likes 26 plays

cos326-2020-17-02-type-checking-implementation

Type Checking: Part 2: Ocaml Implementation

From  Daniel Macleod 0 likes 138 plays

cos326-2020-17-01-type-checking-rules

Type Checking: Part 1: Formal Rules

From  Daniel Macleod 0 likes 154 plays

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

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

From  Daniel Macleod 0 likes 156 plays

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

From  Daniel Macleod 0 likes 201 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod 0 likes 287 plays

cos326-2020-06-03-more-evaluation

Implementing Ocaml in Ocaml: Part 3: More Features, More Fun!

From  Daniel Macleod 0 likes 293 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 273 plays

cos326-2020-06-01-abstract-syntax

Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax

From  Daniel Macleod 0 likes 317 plays

cos326-2020-02-01-let

Let Expressions

From  Daniel Macleod 0 likes 302 plays

cos326-2020-01-02-ocaml

Introduction to Ocaml

From  Daniel Macleod 0 likes 493 plays

2020 P3 Promo Video

Check out the Prospective PhD Preview!

From  Sarah Mullins 0 likes 80 plays