Nominative and structural type systems

From Wikipedia, the free encyclopedia

Nominative and structural type systems are:

The differences between nominative and structural type systems are discussed in: