Home

Welcome to the type-systems-notes wiki! Please refer to Contribution Guideline for some hints how to contribute.

The discussion and some work-in-progress on each chapter can be found on the following pages

• Syntax
• Semantics
• Simple Types