1 *Coming, please wait...*
4 Once we get up and running, the central focii of the course will be
5 **continuations**, **types**, and **monads**. One of the on-going themes will
6 concern evaluation order and issues about how computations (inferences,
7 derivations) unfold in (for instance) time. The key analytic technique is to
8 form a static, order-independent model of a dynamic process. We'll be
9 discussing this in much more detail as the course proceeds.
11 The logical systems we'll be looking at include:
13 * the "pure"/untyped lambda calculus
15 * the simply-typed lambda calculus
16 * polymorphic types with System F
17 * some discussion of dependent types
18 * if time permits, "indeterministic" or "preemptively parallel" computation and linear logic
22 recursion using the Y-combinator
23 evaluation-order stratgies
24 normalizing properties
25 the Curry-Howard isomorphism(s)
26 monads in category theory and computation