About: CPL (圏論プログラミング言語)

CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。

Property	Value
dbo:abstract	CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 (ja) CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 (ja)
dbo:wikiPageExternalLink	http://hackage.haskell.org/package/CPL http://voxoz.com/publications/cat/Category%20Theory/Type%20Theory/Hagino%20T.%20A%20Categorical%20Programming%20Language.pdf https://doi.org/10.11309/jssst.7.1_16
dbo:wikiPageID	2691510 (xsd:integer)
dbo:wikiPageLength	995 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	85224928 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:1987年 dbpedia-ja:Category:プログラミング言語 dbpedia-ja:Category:圏論 dbpedia-ja:Category:関数型言語 dbpedia-ja:冪対象 dbpedia-ja:制御構造 dbpedia-ja:圏論 dbpedia-ja:計算モデル dbpedia-ja:関手 dbpedia-ja:関数 dbpedia-ja:データ型 dbpedia-ja:射 dbpedia-ja:関数型プログラミング言語 dbpedia-ja:帰納法 dbpedia-ja:恒等関数 dbpedia-ja:条件分岐 dbpedia-ja:ポイントフリー dbpedia-ja:始双代数 dbpedia-ja:終双代数 dbpedia-ja:萩野達也
prop-ja:wikiPageUsesTemplate	template-ja:Computer-stub template-ja:Doi template-ja:要曖昧さ回避 template-ja:Naid
dct:subject	dbpedia-ja:Category:プログラミング言語 dbpedia-ja:Category:圏論 dbpedia-ja:Category:関数型言語
rdfs:comment	CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 (ja) CPL (正式名称：Categorical Programming Language) は圏論に基づいたデータ型の定義と計算モデルを持つ関数型プログラミング言語であり、1987年、によって発案された。圏論の計算機科学に対する応用の黎明期に生まれた言語である。 (ja)
rdfs:label	CPL (圏論プログラミング言語) (ja) CPL (圏論プログラミング言語) (ja)
prov:wasDerivedFrom	wikipedia-ja:CPL_(圏論プログラミング言語)?oldid=85224928&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:CPL_(圏論プログラミング言語)
is dbo:wikiPageDisambiguates of	dbpedia-ja:CPL
is dbo:wikiPageRedirects of	dbpedia-ja:Charity dbpedia-ja:圏論プログラミング言語 dbpedia-ja:カテゴリー理論的関数型プログラミング言語
is dbo:wikiPageWikiLink of	dbpedia-ja:CPL dbpedia-ja:Charity dbpedia-ja:圏論プログラミング言語 dbpedia-ja:カテゴリー理論的関数型プログラミング言語
is owl:sameAs of	dbpedia-wikidata:CPL (圏論プログラミング言語)
is foaf:primaryTopic of	wikipedia-ja:CPL_(圏論プログラミング言語)