POPL Tutorial/Session 4

From The Twelf Project
Jump to: navigation, search

Type preservation for MinML

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

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