CS 611: Homework

• Homework 1

  Due: Friday, 12 Sept. 1997. The postscript description hw1.ps and a .tar.gz file containing the source code for the assignment imp.tar.gz. Note: the handout has been modified (last updated: Tuesday, 9 Sept. 1997 10:00am).

  Solutions: hw1-soln.ps and interpretation.sml.

• Homework 2

  Due: Friday, 26 Sept. 1997. The postscript description hw2.ps. The handout was last modified Friday, 19 Sept. 1997 8:30am.

  Solutions: hw2-soln.ps.

• Homework 3

  Due: Wednesday, 29 Oct. 1997. The postscript description hw3.ps and a .tar.gz file containing the source code for the assignment lambda.tar.gz. The files lambda.grm and lambda.tar.gz were last modified Saturday, 25 Sept. 1997 2:30pm.

  Solutions: hw3-soln.ps and hw3.sml

• Homework 4

  Due: Monday, 17 Nov. 1997. The postscript description hw4.ps and a .tar.gz file containing the source code for the assignment fix.tar.gz. The .tar.gz file and sources.cm were modified Monday, 10 Nov. 1997 4:00 pm. The postscript file was last modified Wednesday, 12 Nov. 1997 5:30 pm. Note the change in the due date!

  Solutions: hw4-soln.ps and hw4.sml

• Homework 5

  Due: Monday, 1 Dec. 1997. The postscript description hw5.ps and a .tar.gz file containing the source code for the assignment hw5.tar.gz Attention: Problem #2 has been dropped from the assignment as of Thursday, 20 Nov. 1997 1:30 pm.

  Both the postscript and source files have been modified as of Sunday, 23 Nov. 1997 12:40 am. See the post on cornell.class.cs611 for details.

  The files sources.cm, top.sml were modified and the files ppsml.sig and ppsml.sml were added. The tar file was updated at Sunday, 23 Nov. 1997, 6:30 pm. See post on cornell.class.cs611 for more information.

  Solutions: hw5-soln.ps and hw5-soln-code.sml