Search for tag: "option"

cos326-2020-13-03-ho-rep-inv

Reasoning About Modular Programs: Part 3: More Representation Invariants

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

cos326-2020-12-02-module-choices

Ocaml Modules: Part 2: Design Choices

From  Daniel Macleod on August 16th, 2020 0 likes 147 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

cos326-2020-03-04-java-rant

A Short Java Rant

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

cos326-2020-03-02-lists

Thinking Inductively

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

cos326-2020-03-01-options

Options

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

Best Practices for Video Production

Would you like to improve the quality of your live or recorded lectures? This workshop is for faculty interested in learning how to raise the level of their online course videos. We will explore best…

From  OLE Staff on July 30th, 2020 1 likes 94 plays

Getting Started with Collaboration Tools: Protocols.io

Get started with this new web-based platform for thorough and transparent documentation of protocols for lab experiments and analyses with complex procedures.

From  PU Princeton University Library on June 1st, 2020 0 likes 2 plays

TigerChallenge: Farmers and the Food System

Food and agriculture is one of New Jersey's largest industries, yet local producers have difficulty selling their goods directly to consumers. Our initiative curates local farmers' produce…

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