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

• Handout (PDF)
• Starting code
• Examples that are well-typed
• Examples that are not well-typed

Questions? Send mail or post to the bboard.

Updates

• 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 ]