This note covers the following topics: O'Caml, Simple Data, Thinking
Recursively, Poly-HO: Polymorphism and Higher-Order Programming, Pipelines,
Datatypes, The Functional Evaluation Model, Functional Space Model, Equational
Reasoning, Modules and Functors, Modular Reasoning, Mutable Data Structures and
Imperative Interfaces, Threads, Locks and Mutable Data, Parallel Complexity
Model, Parallel Scans and Filters.
Author(s): David Walker