tweak Haskell install
[lambda.git] / 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 -->