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.