Tutorials

In the course of my teaching work, I created a few additional materials. In the hope that they might be useful for someone else, I post them here. Please feel free to use or adapt them for your own purposes. LaTeX source code available on request.

Converting Regular Expressions to Discrete Finite Automata

This is a tutorial created for the course Programmer som data (Programs as Data) from ITU in Fall 2012. It is intended to serve as a companion to the course textbook, Peter Sestoft’s Programming Language Concepts.

PDF

Tutorial on Polymorphic Type Derivations

This is a tutorial created for the course Programmer som data (Programs as Data) from ITU in Fall 2012. It is intended to serve as a companion to the course textbook, Peter Sestoft’s Programming Language Concepts. The notation and typing rules are the same as those on page 98 of the book.

PDF

Bidirectional Typing Rules

This tutorial was created to help a student project group understand bidirectional type systems. I couldn’t find any easily accessible literature that made the connection to the type checking algorithm explicit enough and didn’t have too large of a background knowledge requirement. Thus, this tutorial takes a highly operational, low-level approach to build intuitions for programmers.

PDF