15-312 Foundations of Programming Languages
Assignment 6: Subtyping and Bidirectional Typing

Questions? Send mail or post to the bboard.


  • 2002-11-03: Some fixes to the example inputs: (1) bad/exis2.mml now fails for a good reason (vs. failing because of an undeclared identifier); (2) sums3.mml moved to the "bad" subdirectory, where it should have been.

[ Home | Schedule | Assignments | Software | Resources ]