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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-elhttp://el.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Currying
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Monad_(functional_programming)
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Monoidal_category
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Map_(higher-order_function)
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Type_constructor
owl:sameAs
dbpedia-zh:型別構造器 freebase:m.07k6_jy dbpedia-el:Κατασκευαστής_τύπων dbpedia-global:4wwfp dbpedia-uk:Конструктор_типу wikidata:Q7860899 dbpedia-ru:Конструктор_типов
rdfs:label
型別構造器 Κατασκευαστής τύπων Конструктор типу Конструктор типов Type constructor
prov:wasDerivedFrom
wikipedia-en:Type_constructor?oldid=1170555323&ns=0
dbo:description
особливість типізованої формальної мови, що створює нові типи зі старих funktion i formalsprog, der konstruerer nye typer ud fra fra gamle feature of a typed formal language that builds new types from old ones
dbo:wikiPageWikiLink
dbr:Mathematical_logic dbr:Currying dbr:Basic_type dbr:System_F-omega dbr:Kind_(type_theory) dbr:Typed_lambda_calculus dbr:Formal_language dbr:System_F dbr:Product_type dbr:Type_theory dbr:Computer_science dbr:Nullary dbr:P.T._Johnstone dbr:List_type dbr:Algebraic_data_type dbr:Function_type dbr:Simply_typed_lambda_calculus dbr:Recursive_data_type dbc:Type_theory dbr:Lambda_cube dbr:Simply_typed_λ-calculus
dct:subject
dbc:Type_theory
foaf:isPrimaryTopicOf
wikipedia-en:Type_constructor
dbp:wikiPageUsesTemplate
dbt:Refend dbt:Reflist dbt:Short_description dbt:Data_types dbt:Cite_book dbt:Refbegin
Subject Item
dbr:Type_family
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
wikipedia-en:Type_constructor
foaf:primaryTopic
dbr:Type_constructor
Subject Item
dbr:Type_theory
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Typed_lambda_calculus
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Function_type
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Link_grammar
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:OpenCog
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Data_type
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Covariance_and_contravariance_(computer_science)
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Tagged_union
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Simply_typed_lambda_calculus
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Haxe
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Lambda_cube
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Arrow_(computer_science)
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Kind_(type_theory)
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:System_U
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Higher-order_type_operator
dbo:wikiPageRedirects
dbr:Type_constructor
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Type_constructors
dbo:wikiPageRedirects
dbr:Type_constructor
dbo:wikiPageWikiLink
dbr:Type_constructor
Subject Item
dbr:Type_operator
dbo:wikiPageRedirects
dbr:Type_constructor
dbo:wikiPageWikiLink
dbr:Type_constructor