عجفت الغور

type systems (programming)

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