Search for tag: "cases"

Dignity and Debt

This session was part of Engage 2020, Princeton University's new innovation and entrepreneurship conference. Introduction and discussion of the Inclusive Financial Systems Working Group, a…

From  Innovation Innovation Communication on February 23rd, 2021 0 likes 2 plays

Data Wrangling: How to Keep Your Data Workflows Orderly and Efficient

This webinar will provide several practical considerations to help you better manage your research data between the points of collection and analysis. We will review the principles of open research…

From  PU Princeton University Library on December 22nd, 2020 0 likes 8 plays

Data File Inventory: Bringing Order to Chaos in Your Data Folders

Even the most organized researchers often struggle to keep track of everything in their data folders. The challenge is compounded with each new project, data source, storage location, and team…

From  PU Princeton University Library on December 22nd, 2020 0 likes 4 plays

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

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

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

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

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

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

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

cos326-2020-05-02-inductive-data-types

Inductive Datatypes

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

cos326-2020-04-01-c-rant

C Rant

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

cos326-2020-03-02-lists

Thinking Inductively

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