About: type system

Premodifier: type
Head noun: system

Same concepts
http://dbpedia.org/resource/Type_system

Broader concepts

label	provenance	confidence
programming language	isap:99639108	0.514503
aspect of programming language	isap:395993935	0.505974
category	isap:104401757	0.375355
constraint	isap:17805912	0.357296
thing	isap:115239074	0.328076
syntactic method	isap:393229830	0.310481
anything	isap:105961675	0.255601
annotation	isap:20056284	0.237762
need	isap:490604445	0.214537
java	isap:498366455	0.199277
restriction	isap:453412742	0.178944
type	isap:490389156	0.166314
union	isap:123320864	0.126429
problem	isap:444994468	0.124426
computer	isap:102692465	0.117080

Narrower concepts

label	provenance	confidence
system f	isap:54869645	0.581859
parametric polymorphism	isap:81180009	0.553332
hm	isap:107761163	0.285118
java	isap:307010212	0.281210
type inference	isap:132960314	0.276368
type	isap:311956974	0.265437
c++	isap:210413033	0.259199
subtyping	isap:136993585	0.240511
haskell	isap:275704034	0.234152
example	isap:273061973	0.234115
ruby	isap:310215923	0.226928
integer	isap:268106401	0.226704
ocaml	isap:156597417	0.199154
fact	isap:307399338	0.196095
language	isap:483170343	0.164211
problem	isap:266010113	0.124295
effect	isap:395653696	0.111065
monad	isap:164398742	0.088685
right	isap:157887982	0.086141
program	isap:276249895	0.084409
code	isap:309944148	0.067530