_overview.mdwn

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