POPL Tutorial/Session 4

Type preservation for MinML

In this session, we will prove type preservation for MinML.

• We recommend that you type in what we type, so your fingers get used to STELF. But if you want to save your self some typing, start from the (starter code)
• Answers to the exercises: (answer)