Type system where types are associated with values and not variables.