Compilers: Type systems and type checking links

By Wolfgang Keller
Originally published 2021-04-24
Last modified 2025-08-25

Table of contents

Type systems

Liquid Types

A Gentle Introduction to Liquid Types [published 2015-09-19; visited 2025-02-09T21:06:07Z]
Liquid Types [published 2008; visited 2025-02-09T21:07:31Z]

Unification

TODO