type systems (programming)

category theory, programming languages

A type system is a system that does local checks of a program’s source code in order to establish some global property about the program’s behavior

Counterexamples in Type Systems

• https://counterexamples.org/intro.html