Search for tag: "evaluation"

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod on August 21st, 2020 0 likes 216 plays

cos326-2020-08-02-induction-nats

Did I Get it Right? Part 2: Induction for Naturals

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

cos326-2020-08-01-simple-proofs

Did I Get it Right? Part 1: Simple Proofs

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

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

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

cos326-2020-06-03-more-evaluation

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

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

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

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

Early-life autism spectrum disorder diagnosis with nonlinear EEG analysis using machine learning methods

With the increased prevalence of autism spectrum disorder (ASD) comes the challenge of identifying children at risk for ASD as early in life as possible so that they can benefit from early…

From  Research Princeton Research Day on April 29th, 2020 0 likes 58 plays