January
MondayTuesdayWednesdayThursdayFriday
16 17 18
8:00-8:45 Lecture
HRBB 126
Introduction
19 20
8:00-8:45 Lecture
HRBB 126
Structural Operational Semantics
23
8:00-8:45 Lecture
HRBB 126
Structural Operational Semantics
Reading: Big-Step and Small-Step
24 25
8:00-8:45 Lecture
HRBB 126
K Introduction
26 27
8:00-8:45 Lecture
HRBB 126
K Introduction
30
8:00-8:45 Lecture
HRBB 126
Lambda Calculus
31

February
MondayTuesdayWednesdayThursdayFriday
01
8:00-8:45 Lecture
HRBB 126
Lambda Calculus
02 03
8:00-8:45 Lecture
HRBB 126
K - defining Lambda
06
8:00-8:45 Lecture
HRBB 126
K - defining Lambda
07
23:59 Homework 1
08
8:00-8:45 Lecture
HRBB 126
The Y Combinator
09 10
8:00-8:45 Lecture
HRBB 126
K - defining IMP
13
4:10-5:25 Lecture
HRBB 124
Distinguished Lecture by Dr. Tom Ball
14 15
8:00-8:45 Lecture
HRBB 126
K - defining Lambda++
16 17
8:00-8:45 Lecture
HRBB 126
K - defining Lambda++
20
No class
21
23:59 Homework 2
22
No class
23 24
8:00-8:45 Lecture
HRBB 126
K - defining Lambda++
27
8:00-8:45 Lecture
HRBB 126
K - defining IMP++
28

March
MondayTuesdayWednesdayThursdayFriday
01
8:00-8:45 Lecture
HRBB 126
K - defining IMP++
02 03
8:00-8:45 Lecture
HRBB 126
K - defining IMP++
06
8:00-8:45 Lecture
HRBB 126
Simple Types
07
23:59 Homework 3
08
8:00-8:45 Lecture
HRBB 126
Simply Typed Lambda Calculus
09 10
8:00-8:45 Lecture
HRBB 126
Simply Typed Lambda Calculus
13
Spring break
14 15
Spring break
16 17
20
8:00-8:45 Lecture
HRBB 126
K - IMP++ type checker
21
23:59 Homework 4
22
8:00-8:45 Lecture
HRBB 126
K - Lambda type checker
23 24
8:00-8:45 Lecture
HRBB 126
K - Lambda type checker
27
8:00-8:45 Lecture
HRBB 126
Type Inference
28 29
8:00-8:45 Lecture
HRBB 126
Type Inference
30 31
8:00-8:45 Lecture
HRBB 126
Polymorphic Type Inference
April
MondayTuesdayWednesdayThursdayFriday
03
8:00-8:45 Lecture
HRBB 126
Polymorphic Type Inference
04
23:59 Homework 5
05
8:00-8:45 Lecture
HRBB 126
K - defining SIMPLE
06 07
8:00-8:45 Lecture
HRBB 126
K - defining SIMPLE
10
8:00-8:45 Lecture
HRBB 126
K - defining SIMPLE
11 12
8:00-8:45 Lecture
HRBB 126
K - defining KOOL
13 14
Reading day
17
8:00-8:45 Lecture
HRBB 126
K - defining KOOL
18
23:59 Homework 6
19
8:00-8:45 Lecture
HRBB 126
K - defining FUN
20 21
No class
24
No class
25 26
8:00-8:45 Lecture
HRBB 126
K - defining LOGIK
27 28
8:00-8:45 Lecture
HRBB 126
K - defining LOGIK

May
MondayTuesdayWednesdayThursdayFriday
01
8:00-8:45 Lecture
HRBB 126
Course Review
02
23:59 Homework 7
03
Reading day
04 05