Homework Assignments

1. Due Monday, September 14. Explanation of homework is in hw1.dvi or hw1.ps.  You will also need the ml source files in the directory /usr/local/www/Info/Courses/Fall-98/homework/hw1/   they are tarred and compressed in imp.tar.gz (Sept 7).  The file sources.cm (included in imp.tar.gz) has been updated. If you have installed SML under Windows/NT, please see the newsgroup for more information.  
   Solution: Theory: hw1-soln.dvi or hw1-soln.ps and Practice: interpretation.sml

2. Due Friday, September 25. Explanation of homework in tex, dvi or ps form. You will also need the files ord-set-sig.sml and ord-map-sig.sml and the same ml sources for the IMP interpreter as in the last assignment.
   Solution: Theory: hw2-soln.dvi or hw2-soln.ps and Practice:  solution.tar.gz
   
3. Due Friday, October 9. Theory only: in tex, dvi, or ps format.    
   Solution: hw3-soln.dvi or hw3-soln.ps.
   
4. Optional. Problems from The Science of Programming : in tex, dvi or ps format.
   Solution: hw4-soln.dvi or hw4-soln.ps.
   
5. Due Friday, November 6. hw5.dvi or hw5.ps. You will also need the ml source files in the directory /usr/local/www/Info/Courses/Fall-98/homework/hw5/code/, they are tarred and compressed in lambda.tar.gz.
   Solution: hw5-soln.dvi or hw5-soln.ps and lambda.sml.
   
6. Due Monday, November 16 (Theory) and Friday November 20 (Practice). hw6.dvi or hw6.ps. You will also need the file lambda.tar.gz.
   Solution: Theory (html) or (doc) and Practice.

Notes about file formats:

• .dvi - files may be viewed under UNIX with the command xdvi. With NT you will need to install a viewer from adm's support page.
• .ps - files may be viewed under UNIX with ghostview, under NT also see adm's page about postscript.
• .tar.gz - Under UNIX, use the commands gunzip and tar. Under NT use one of the programs in \\bigbird\ntfiles\Utilities\Compression.
• .doc - Microsoft Word format

SCW 19 Aug 1999