15-312 Foundations of Programming Languages
Assignment 2: Implementing MinML

Questions? Send mail or post to the bboard.

Corrections

The revised handout incorporates one correction to the original.
  • The dynamic semantics for rec was previously given as it appears in the big-step semantics. It is now correctly given in terms of a small-step semantics. The rule UnfoldRec should now read
    rec(t,x.e) --> {rec(t,x.e)/x} e
    under no assumptions.

[ Home | Schedule | Assignments | Software | Resources ]