Bookmarks

The Easiest Way to Build a Type Checker

Bidirectional Type Checking

A Type System From Scratch – Robert Widmann

Technical presentation on building a type system from scratch, relevant to language and compiler enthusiasts.

Inference in Agda

Proofs and Types

Bibliopolis-Book-retypeset-1984

How should I read type system notation?

Subcategories