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