(You may use Org Mode in emacs (enabled with M-x org-mode ) to see the notes formatted better.)
| Section | Date | Topic(s) covered | Notes (Draft) |
| 1 | July 26 | Introduction | Notes |
| July 27 | Outline | ||
| July 29 | c_const_test.c |
||
| Aug 2 | PlanePoint.oz | ||
| 2 | Aug 3-Aug16 | Declarative Model | Outline |
| Aug 17 | Exceptions | Exceptions paranoid.c |
|
| Aug 23 | Unification | Unification | |
| 2' | August 26 | Untyped λ calculus | Untyped λ calculus |
| August 30 | |||
| August 31 | |||
| 3 | Sept 2 | Declarative Programming Techniques- Tail Recursion, Follow the grammar |
declarative-programming ReverseList.oz QuickSort.oz MyList.oz MyListUse.oz |
| Sept 6 | Tail Recursion, Difference Lists, Procedural Abstraction, Genericity | ||
| Sept 7 | Instantiation, Embedding, Modules/Functors | ||
| 4 | Sept 9 | Declarative Concurrency - Introduction, Semantics |
declarative-concurrency
Thread.oz ForAll.oz |
| Sept 20 | Declarative Concurrency-Threads | ||
| Sept 21 | Stream Objects, Lazy Programming | ||
| 5 | Sept 27 | Message Passing Concurrency - Ports | mpc |
| Sept 28 | Ports (contd.) | ||
| Sept 30 | Port Objects that Share a thread, Thread abstraction with termination detection, Nondeterministic choice: Symmetric and Asymmetric | ||
| 5' | Oct 10 | Erlang - Sequential Programming, Concurrent Programming | erlang [Modified: October 18] |
| Oct 11 | Erlang - Concurrent Programming (contd.) | ||
| 6 | Oct 18 | Explicit State |
explicitstate polymorphism stack-1.oz stack-2.oz collection-1.oz collection-2.oz |
| Oct 19 | |||
| Oct 21 | |||
| 7 | Oct 25 | Object-Oriented Programming |
oop Java 1.4 Polymorphism |
| Oct 28 | |||
| Nov 1 | |||
| Nov 2 | |||
| 8 | Nov 4 | Type Inference | tinf |
| Nov 8 | |||
| Nov 9 | |||
| 9 | Nov 11 | Relational Programming | Notes |