Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Type constructor
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Feature of a typed formal language that builds new types from old ones
Property
Value
dbo:
description
особливість типізованої формальної мови, що створює нові типи зі старих
(uk)
feature of a typed formal language that builds new types from old ones
(en)
funktion i formalsprog, der konstruerer nye typer ud fra fra gamle
(da)
dbo:
wikiPageWikiLink
dbr
:Currying
dbr
:System_F
dbr
:Type_theory
dbr
:Typed_lambda_calculus
dbr
:Function_type
dbr
:Formal_language
dbr
:Algebraic_data_type
dbr
:Product_type
dbr
:Recursive_data_type
dbr
:Computer_science
dbc
:Type_theory
dbr
:Mathematical_logic
dbr
:Simply_typed_lambda_calculus
dbr
:Lambda_cube
dbr
:Kind_(type_theory)
dbr
:Nullary
dbr
:Basic_type
dbr
:P.T._Johnstone
dbr
:List_type
dbr
:System_F-omega
dbr
:Simply_typed_λ-calculus
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:Data_types
dbt
:Refend
dbt
:Refbegin
dbt
:Short_description
dct:
subject
dbc
:Type_theory
rdfs:
label
Type constructor
(en)
Κατασκευαστής τύπων
(el)
Конструктор типов
(ru)
Конструктор типу
(uk)
型別構造器
(zh)
owl:
sameAs
freebase
:Type constructor
wikidata
:Type constructor
dbpedia-zh
:Type constructor
dbpedia-ru
:Type constructor
dbpedia-el
:Type constructor
dbpedia-uk
:Type constructor
dbpedia-global
:Type constructor
prov:
wasDerivedFrom
wikipedia-en
:Type_constructor?oldid=1170555323&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Type_constructor
is
dbo:
wikiPageRedirects
of
dbr
:Higher-order_type_operator
dbr
:Type_constructors
dbr
:Type_operator
is
dbo:
wikiPageWikiLink
of
dbr
:Currying
dbr
:Monad_(functional_programming)
dbr
:Monoidal_category
dbr
:Map_(higher-order_function)
dbr
:Type_family
dbr
:Type_theory
dbr
:Typed_lambda_calculus
dbr
:Function_type
dbr
:Link_grammar
dbr
:OpenCog
dbr
:Data_type
dbr
:Covariance_and_contravariance_(computer_science)
dbr
:Tagged_union
dbr
:Simply_typed_lambda_calculus
dbr
:Haxe
dbr
:Lambda_cube
dbr
:Arrow_(computer_science)
dbr
:Kind_(type_theory)
dbr
:System_U
dbr
:Higher-order_type_operator
dbr
:Type_constructors
dbr
:Type_operator
is
foaf:
primaryTopic
of
wikipedia-en
:Type_constructor
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International