POPL Tutorial/Next

From The Twelf Project
Jump to: navigation, search

If you want to read more about Twelf, you can check out the introductions, tutorials, and case studies on the wiki.

We strongly recommend that you work on some of the following exercises: you'll get a flavor for the experience of defining systems and proving theorems in Twelf. If we have time at the end of the tutorial, we'll break into small groups and you can pick an interesting problem or two to work on. If you get stuck, ask a TA! Refer to the solutions to check your work (though Server OK from Twelf should be assurance enough!) Feel free to ask us for help during the rest of the conference.

Beginner problems (Recommended)

Intermediate problems