Substructural type system

Vikipedi'den, özgür ansiklopediden