Search for tag: "types"

Bill Buxton Lecture 3 Minutes

From  Carrie Collins on September 2nd, 2020 0 likes 3 plays

cos326-2020-17-04-type-inference-2

Type Checking: Part 4: Type Inference (Quantifiers)

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

cos326-2020-17-03-type-inference-1

Type Checking: Part 3: Type Inference (Simple Types)

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

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

Type Checking: Part 1: Formal Rules

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

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-03-functors

Ocaml Modules: Part 3: Functors

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

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

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

Pocono Environmental Education Center: Hydroponic System

Learn about the hydroponic system at the Pocono Environmental Education Center (PEEC), one of the first projects built by Community Action students at PEEC.

From  Gwen McNamara on August 15th, 2020 0 likes 9 plays

Pocono Environmental Education Center: Composting Project

Learn more about how students with Community Action helped create a composting project at the Pocono Environmental Education Center and how the composting systems work.

From  Gwen McNamara on August 15th, 2020 0 likes 8 plays

cos326-2020-05-03-GML-example

Ocaml Datatypes: An Exercise in Type Design

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

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

Inductive Datatypes

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

cos326-2020-05-01-simple-data-types

Ocaml Datatypes

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

cos326-2020-04-04-type-history

Where did type systems come from?

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

cos326-2020-04-01-c-rant

C Rant

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