bn:02158200n
Noun Concept
SYL
No term available
EN
Type inference refers to the automatic detection of the type of an expression in a formal language. Wikipedia
Relations
Sources