IndexDeliverablesCourse PoliciesQuick LinksGot a question?Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu. |
Homework Description Homework is worth 20% of your grade in this course. There will be 4 homeworks distributed over the semester. Two before the midterm and two afterwards. Each of these will be worth 5% of your grade. These will become available at least 2 weeks before the due date of the homework. Homework Submission Please bring a printed version to the class for on the due date. Please also send an e-mail to hridesh@cs.iastate.edu with ONLY your hw0n.tex file attached with the e-mail. Please have the subject of the e-mail read exactly [Fall-08-541-HW0n], where n is in {1,2,3,4}. These instructions apply for all homework unless specified otherwise. So for hw 1 e-mail only your hw01.tex with the subject line [Fall-08-541-HW01] and so on. Homework Deliverables, Due Dates and Weight (% of class grade)
Format for Homework These deliverables must be prepared using LaTeX. We require you to use LaTeX as the operational semantics, type systems, and meta-theory can be easily typeset using this typesetting system. We provide a template for preparing these deliverables here. A TeXclipse version of this template is also available from here. The LaTeX presentation by Robert Dyer is available from here. |