15-312 Foundations of Programming Languages
Assignment 2: Implementing MinML
Questions? Send mail or
post to the bboard.
The revised handout incorporates several corrections to the
original handout. The first is a major correction, the rest
- The typing rule FunTyp (Figure 3) now has "x:tau1" in the premise
instead of the incorrect "x:tau2".
- The typing rules now use abstract syntax consistently, instead of sometimes
using concrete syntax.
- The Typing section claimed that a function "typing" was declared
in the starting code file typing.sml; there is no such declaration.
The new handout asks you to write the function, instead of asking you
to complete it.