Search for tag: "client"

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod 0 likes 218 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod 0 likes 205 plays

cos326-2020-12-02-module-choices

Ocaml Modules: Part 2: Design Choices

From  Daniel Macleod 0 likes 155 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod 0 likes 192 plays

Community Action 2020: Rescue Mission of Trenton

Barrett Young, chief operating officer at the Rescue Mission of Trenton in Trenton, NJ, provides an overview of the organization and the many ways it seeks to serve the community.

From  Gwen McNamara 0 likes 96 plays