type-system public under concept 1247 List Picture As a command %3 n0 type-system n2 dynamic-typing n0->n2 n3 static-typing n0->n3 n4 strong-typing n0->n4 n5 type-class n0->n5 n6 type-inference n0->n6 n1 concept n1->n0