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

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 ]