Functional Programming
                           Course Outline
                              13/9/90


Where "Book" is referred to, this is taken as a chapters from
"Elements of Functional Programming," Chris Reade, Addison-Wesley,
(IBSN 0-201-12915-9)

Where :Language" is referred to, this is taken as 
"Introduction to Standard ML", Robert Harper

PP is Patrick Prosser
IR is Isla Ross

(1) Introduction to functional programming and ml: 2 lectures, PP 
    Book 1.1
    Language 2.1 - 2.4
    Files: ml/trace/* and lisp/trace/*

(2) Functions, Polymorphism, List Processings: 4 lectures, IR
    Book 1.5, 2 and 3
    Language 2.5 + 2.6
    Files: (in ml/source) world, do, perm, cproduct

(3) Problem, Solution, Implementation: 1 lecture PP
    Files: ml/source/bt, ml/source/nq, lisp/source/bt

(4) Types, Exceptions, Imperatives: 3 lectures, IR
    Book 5, 7.1, 7.3, 9.5
    Language 2.7 - 2.9
    Files: (in ml/source) tsearch, sets, bt-all

(5) Problem, Solution, Implementation: 1 lecture, PP
    File: graph-search

(6) Module System: 2 lectures, PP
    Book 7.4
    Language 3
    Files: *struct* and *sig*

(7) I/O: 1 lecture PP
    Language 4
    Files: ml/source/io and ml/source/trace

(8) Problem, Solution, Implementation: 1 lecture, PP
    Files: oops*

(9) Types: 2 lectures, IR
    Book 11

(10) Lambda Calculus: 2 lectures, IR
     Book 12, 8, 9

(11) Implementation: 1 lecture, PP
     Book 13

Total of 20 lectures, IR = 11, PP = 9