topics_and_themes.mdwn

   1 *Coming, please wait...*
   2
   3 <!--
   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.
  10
  11 The logical systems we'll be looking at include:
  12
  13 *       the "pure"/untyped lambda calculus
  14 *       combinatorial logic
  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
  19
  20
  21 Other keywords:
  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
  27 -->