information about Type inference field
Field Hierarchy
Parent | |||
---|---|---|---|
Computer science 62.9M papers | Philosophy 22.7M papers | Artificial intelligence 11.8M papers | Epistemology 5.8M papers |
Inference 146k papers | Type (model theory) 188 papers | ||
Current | |||
Type inference 1,770 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