home button

COP 4020/CIS 6930, Fall 2012
Programming Languages

Announcements

Final grades are now posted on Blackboard.

Course materials

Syllabus

Assignment I, handed out on 08/28 and due on 09/09

Introductory tutorials on ML

Introductory tutorial on ML functions

Introductory tutorial on ML datatypes

Assignment II, handed out on 09/11 and due on 09/23

Assignment III, handed out on 09/18 and due on 09/25

Assignment IV, handed out on 09/25 and due on 10/14

Practice Test I

Test I (given on 10/02)

Assignment V, handed out on 10/09 and due on 10/16

Assignment VI, handed out on 10/16 and due on 10/28

Assignment VII, handed out on 10/16 and due on 10/30

Assignment VIII, handed out on 10/30 and due on 12/02

Assignment IX, handed out on 10/16 and due on 12/04

Practice Test II

Test II (given on 11/06)

Practice Test III

Test III (given on 12/13)

Grades

Please use Blackboard to check your grades.

Schedule (filled in as the semester progresses)

Week Dates Topics Reading (in ML book)
1 08/28, 08/30 Introduction; ML basics; Polymorphism 1-3.1, 5.3
2 09/04, 09/06 ML functions; I/O; Higher-order functions 3.2-3.6.3, 4.1-4.2, 5.1, 5.4
3 09/11, 09/13 Currying; Datatypes; Deductive systems 5.5-5.6, 6.1-6.3
4 09/18, 09/20 Deductive systems; Induction on derivations Class notes
5 09/25, 09/27 Syntax; Review Class notes
6 10/02, 10/04 Test I Class notes
7 10/09, 10/11 Syntax; Dynamic semantics; Lambda calculus Class notes
8 10/16, 10/18 Lambda calculus; Static semantics Class notes
9 10/23, 10/25 Static semantics; Type safety Class notes
10 10/30, 11/01 Type safety; Review Class notes
11 11/06, 11/08 Test II Class notes
12 11/13, 11/15 Aggregate data types Class notes
13 11/20 Intro to side effects; References 7.3
14 11/27, 11/29 References; Control-flow effects; Evaluation contexts 5.2, 7.2
15 12/04, 12/06 Arrays; Review Class notes
Final 12/13 Final Exam, 5:30-7:30pm All tests are cumulative