PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
6
Type inference
Type inference
Concept
http://dbpedia.org/resource/Category:Type_inference
Hindley–Milner type system
Principal type
Type inference
Value restriction
Link from a Wikipage to another Wikipage
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
980,109,996
http://www.w3.org/2001/XMLSchema#integer
wikiPageUsesTemplate
Template:Cat_main
type
Concept
label
Type inference
@en
broader
Automated reasoning
Inference
Static program analysis
Type systems
Type theory
prefLabel
Type inference
@en
wasDerivedFrom
Category:Type_inference?oldid=980109996&ns=14