This HTML5 document contains 31 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/
n7https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/class/yago/
n8http://localhost:8890/about/id/entity/http/dbpedia.org/resource/Haskell_(programming_language)
wdrshttp://www.w3.org/2007/05/powder-s#
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
n10http://localhost:8890/about/id/entity/http/dbpedia.org/resource/
n17http://localhost:8890/about/id/entity/http/dbpedia.org/class/yago/
n9https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Category:
n5https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/
n15http://dbpedia.org/resource/Haskell_(programming_language)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Lattice_(order)
dbchttp://dbpedia.org/resource/Category:
n11https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Template:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
n19http://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n20http://dbpedia.org/resource/Lattice_(order)
Subject Item
dbr:Hindley–Milner_type_system
rdf:type
yago:Method105660268 yago:Activity100407535
wdrs:describedby
n5:Prolog n5:Robin_Milner n7:Method105660268 n8: n5:Object-oriented_programming n9:Formal_methods n5:Name_binding n10:Type_theory n5:Cardinality n5:Parametric_polymorphism n11:Mvar n5:Combinatory_logic n5:System n17:Activity100407535 n18:
dct:subject
dbc:Formal_methods
dbo:wikiPageWikiLink
dbr:Type_theory dbc:Formal_methods dbr:Combinatory_logic dbr:Robin_Milner dbr:Object-oriented_programming n15: dbr:Parametric_polymorphism dbr:Prolog n20: dbr:Name_binding dbr:Cardinality
n19:hypernym
dbr:System
dbp:wikiPageUsesTemplate
dbt:Mvar