Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CXML
CSV
JSON-LD
About:
http://dbpedia.org/class/yago/WikicatDependentlyTypedLanguages
An Entity of Type :
Thing
, from Named Graph :
http://dbpedia.org
, within Data Space :
dbpedia.org
Property
Value
rdfs:
subClassOf
yago
:Language106282651
owl:
equivalentClass
yago-res
:wikicat_Dependently_typed_languages
is
rdf:
type
of
dbr
:F*_(programming_language)
dbr
:Agda_(programming_language)
dbr
:Cayenne_(programming_language)
dbr
:Epigram_(programming_language)
dbr
:Idris_(programming_language)
dbr
:Prototype_Verification_System
dbr
:ATS_(programming_language)
dbr
:Dependent_ML
dbr
:Coq
dbr
:Mizar_system
dbr
:Twelf
dbr
:Matita
