information about Type inference field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 61.9M papers | Philosophy 22.3M papers | Artificial intelligence 11.5M papers | Epistemology 5.7M papers |
Inference 141k papers | Type (model theory) 188 papers | ||
Current | |||
Type inference 1,756 papers | |||
Child | |||
Recursive data type 0 papers | Polymorphic recursion 0 papers | Equational languages 0 papers | Type system 0 papers |
System F-sub 0 papers | Generalized algebraic data type 0 papers | Void type 1 papers |
Trends
Notes
History