DATE |
TOPIC |
READINGS |
ASSIGNMENTS |
May 07 M |
Course Administration/History of
PL |
Chapter 1 |
|
May 09 W |
Lambda Calculus I |
Chapter 4.2 |
|
May 10 T |
Lambda Calculus II |
Chapter 4.2 |
|
May 14 M |
Why Functional Programming ? |
Chapter 4.4 |
|
May 16 W |
SML Intro |
Notes by Adam Parkin | |
May 17 T |
SML Tupples/Records |
SML
Source Code Examples_1 |
Assignment 1 (due date May 31) |
May 23 W |
SML Lists |
SML_Source
Code_Examples_2 |
|
May 24 T |
SML Higher-order functions |
SML
Source Code Examples 3 |
|
May 28 M |
SML Higher-order functions |
||
May 30 W |
LISP |
Chapter 3 |
|
May 31 T |
LISP |
Chapter 3 |
|
June 4 M |
Cancelled |
||
June 6 W |
SML datatypes |
SML
Source Code Examples 4 |
Assignment 2 (due June 20) |
June 7 T |
SML datatypes (trees) |
SML
Source Code Example 5 |
|
June 11 M |
SML various |
Chapter 5 |
|
June 13 W |
Type inference |
Chapter 6 |
|
June 14 T |
Type
inference/Polymorphism/Overloading |
||
June 18 M |
SML Module System |
SML
Source Code Example 6 Chapter 9 |
|
June 20 W |
Infinite Lists in SML |
SML
Source Code Example 7 |
|
June 21 T |
Midterm Review |
||
June 25 M |
Midterm |
||
June 27 W |
OpenQuark Framework Demonstration |
||
June 28 T |
Midterm Solutions |
Assignment 3 (due July 16) |
|
July 2 M |
Lexical Analysis/Parsing |
||
July 4 W |
Intro to C++ |
C++
intro |
|
July 5 T |
C++ constructors/destructors |
Constructors,
Destructors, Surrogates |
|
July 9 M |
Concepts in Object-Oriented
Languages |
Chapter 10 |
|
July 11 W |
More C++ |
C++
source code example |
|
July 12 T |
Discussion about assignment 2 |
||
July 16 M |
Streams
and standard template library |
||
July 18 W |
Logic
Programming Prolog I |
||
July 19 T |
Logic
Programming Prolog II |
Assignment 4 (due July 25) |
|
July 23 M |
|||
July 25 W |
Scripting
Languages |
||
July 26 T |
Final
review |
Assignment 5 (due Aug 2) |
|
Aug 2 T |
Simulating
OOP with FP and vice versa |