15-312 Foundations of Programming Languages
Assignment 6: Bi-Directional Typechecking

• Handout (PDF)
• Extra Credit Handout (PDF)
• Starter code and example MinML programs
  Available also as gzipped tar or zip file.
• Sample Solution

NOTE: we have added a new rule your you guys to implement which will make the last part much easier, this is the lettype construct, which works like let, but allows you to assign the variable a type.

Questions? Send mail or post to the bboard.

[ Home | Schedule | Assignments | Software | Resources ]