This HTML5 document contains 102 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n12https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/class/yago/
wdrshttp://www.w3.org/2007/05/powder-s#
yagohttp://dbpedia.org/class/yago/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://localhost:8890/about/id/entity/http/dbpedia.org/resource/
n13http://dbpedia.org/resource/Python_(programming_language)
n19https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:
n17http://localhost:8890/about/id/entity/http/dbpedia.org/class/yago/
n6https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Python_(programming_language)
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Syntax_(programming_languages)
wdhttp://www.wikidata.org/entity/
n16http://purl.org/linguistics/gold/
n18http://dbpedia.org/resource/Syntax_(programming_languages)
dbrhttp://dbpedia.org/resource/
Subject Item
dbr:OCaml
rdf:type
wd:Q35120 wd:Q9143 wd:Q20811739 wd:Q315 wd:Q312466 wd:Q28877 wd:Q7397 wd:Q15621286 wd:Q853614 wd:Q16686448 dbr:Implementation wd:Q629206 wd:Q488383 wd:Q2424752 dbo:Language dbo:ProgrammingLanguage wd:Q223557 wd:Q7184903 wd:Q192161 wd:Q17376908 dbo:Software yago:Language106282651 wd:Q34770 dbo:Work wd:Q17537576 wd:Q676202 wd:Q11028 wd:Q386724 yago:ArtificialLanguage106894544
rdfs:label
OCaml Objective CAML Ocaml OCaml
wdrs:describedby
n6:Object-oriented_programming n7: n6:Source_code n12:ArtificialLanguage106894544 n6:Parametric_polymorphism n6:Robin_Milner n6:Formal_methods n14: n15:Machine_code n6:File_synchronization n6:Persistent_data_structure n6:Coq n6:Cross-platform n6:Free_and_open-source_software n15:OpenGL n6:Implementation n6:Modular_programming n6:Arbitrary-precision_arithmetic n6:Standard_ML n17:Language106282651 n6:HOL_Light n19:OCaml_software n15:Microsoft_Windows n6:Fortran n6:MacOS n15:Fortran
dbo:influenced
dbr:Coq
dbp:influenced
dbr:Coq
dbp:influencedBy
dbr:Standard_ML
dbp:operatingSystem
dbr:Microsoft_Windows dbr:Cross-platform dbr:MacOS
dbp:paradigm
dbr:Modular_programming dbr:Object-oriented_programming
dct:subject
dbc:OCaml_software dbc:Object-oriented_programming_languages dbc:Extensible_syntax_programming_languages dbc:Pattern_matching_programming_languages dbc:Functional_languages dbc:Programming_languages_created_in_1996 dbc:ML_programming_language_family dbc:Cross-platform_free_software dbc:Free_compilers_and_interpreters dbc:OCaml_programming_language_family dbc:Articles_with_example_OCaml_code
dbo:wikiPageWikiLink
dbc:OCaml_software dbr:MacOS dbr:Robin_Milner n13: dbr:Standard_ML dbr:Persistent_data_structure dbr:Modular_programming dbr:Cross-platform dbr:Source_code dbr:Coq dbr:HOL_Light dbr:Machine_code dbr:Parametric_polymorphism dbr:Formal_methods dbr:File_synchronization dbr:Object-oriented_programming dbr:Fortran dbr:Arbitrary-precision_arithmetic n18: dbr:OpenGL dbr:Microsoft_Windows dbr:Free_and_open-source_software
n16:hypernym
dbr:Implementation
dbo:influencedBy
dbr:Standard_ML