eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
7
Assets
6
Dependent types
Dependent types
http://dbpedia.org/resource/Dependent_types
F* (programming language)
typing
Dependent_types
primaryTopic
Dependent types
http://dbpedia.org/resource/Dependent_types
Wikipage page ID
1,949,791
http://www.w3.org/2001/XMLSchema#integer
Wikipage redirect
Dependent type
Wikipage revision ID
584,235,423
http://www.w3.org/2001/XMLSchema#integer
label
Dependent types
@en
wasDerivedFrom
Dependent_types?oldid=584235423
isPrimaryTopicOf
Dependent_types