CS6371 Home Assignments

Sep 10:

• HW1: Functional programming with ML; Due Sep 26th Mon by end of class . 20% penalty for late submission. Solution to HW1 problems

Sep 26th:

• HW2: Lambda Calculus; Due Oct 3rd by end of class. 20% penalty for late submission. Solution to HW2 problems

Oct 3th:

• HW3: Logic Programming; Due Oct 19th by end of class. 20% penalty for late submission.

Oct 19th:

• HW4: More Lambda Calc. + Building a Parser Due Nov 2nd by end of class. 20% penalty for late submission. Solution to HW4 problems:

Nov 2:

• HW5: Sets and Domains. Due Nov 14 by end of class. 20% penalty for late submission. Solution to HW5 problems:

Nov 14th:

• HW6: Denotational Semantics of a simple language. Due Nov 28 by end of class. 20% penalty for late submission.

Nov 28th:

• HW7:Fixpoint Theory of Programs; Due Dec 7 20% penalty for late submission.