milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Type inference
Type inference
Concept
http://dbpedia.org/resource/Category:Type_inference
Hindley–Milner type system
Principal type
Type inference
Value restriction
subject
Unification (computer science)
broader
Type inference
Concept
http://dbpedia.org/resource/Category:Type_inference
Wikipage page ID
34,060,579
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
465,900,874
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Type inference
@en
sameAs
Q8877938
Q8877938
broader
Inference
Type systems
Type theory
prefLabel
Type inference
@en
wasDerivedFrom
Category:Type_inference?oldid=465900874