|
Topic: |
Issued: |
Due at 11:59pm CT on: |
MP1 |
OCaml: Basic OCaml |
Thursday, Jan 23 |
Sunday, Feb 2 |
MP2 |
Pattern Matching and Recursion |
Thursday, Jan 30 |
Sunday, Feb 9 |
MP3 |
Recursion Patterns and Higher-Order Functions |
Thursday, Feb 6 |
Sunday, Feb 16 |
MP4 |
Continuation-Passing Style |
Thursday, Feb 13 |
Sunday, Feb 23 |
MP5 |
Working with ADTs: Implementing CPS |
Thursday, Feb 20 |
Sunday, Mar 2 |
MP6 |
A Unification-Based Type Inferencer |
Thursday, Feb 27 |
Sunday, Mar 16 |
MP7 |
Unification Algorithm |
Thursday, Mar 13 |
Tuesday, Apr 1 |
MP8 |
A Lexer for MicroML |
Thursday, Mar 20 |
Sunday, Apr 6 |
MP9 |
A Parser for MicroML |
Thursday, Apr 3 |
Sunday, Apr 13 |
MP10 |
An Evaluator for MicroML |
Thursday, Apr 10 |
Sunday, Apr 27 |
MP11 |
A Transition Semantics Evaluator for CPS |
Thursday, Apr 24 |
Sunday, May 4 |
|
|
Topic: |
Issued: |
Due at 11:59pm CT on: |
HW1 |
Evaluation and Evironments |
Thursday, Jan 23 |
Sunday, Feb 2 |
HW2 |
Evaluating the application of a function |
Thursday, Jan 30 |
Sunday, Feb 9 |
HW3 |
Order of Evaluation |
Thursday, Feb 6 |
Sunday, Feb 16 |
HW4 |
CPS Transformation |
Thursday, Feb 13 |
Sunday, Feb 23 |
HW5 |
User-Defined Datatypes |
Thursday, Feb 20 |
Sunday, Mar 2 |
HW6 |
Polymorphic Type Inference |
Thursday, Feb 27 |
Sunday, Mar 16 |
HW7 |
Unification |
Thursday, Mar 13 |
Tuesday, Apr 1 |
HW8 |
Regular Expression |
Thursday, Mar 20 |
Sunday, Apr 6 |
HW9 |
Parse Trees, Ambiguous Grammars, and LR and Recursive Descent Parsing |
Thursday, Apr 3 |
Sunday, Apr 13 |
HW10 |
Operational and Transition Semantics |
Thursday, Apr 10 |
Sunday, Apr 27 |
HW11 |
Lambda Calculus and Hoare Logic |
Thursday, Apr 17 |
Sunday, May 4 |
|