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 146 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 244 plays

cos326-2020-03-04-java-rant

A Short Java Rant

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

cos326-2020-03-02-lists

Thinking Inductively

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

cos326-2020-03-01-options

Options

From  Daniel Macleod on August 14th, 2020 0 likes 224 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 92 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 Day on April 29th, 2020 0 likes 30 plays