About: Kent Recursive Calculator

Property	Value
dbo:abstract	KRC (Kent Recursive Calculator) とは、イギリス・ケント大学（University of Kent）のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。 (ja) KRC (Kent Recursive Calculator) とは、イギリス・ケント大学（University of Kent）のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。 (ja)
dbo:wikiPageExternalLink	http://krc-lang.org/krc.1.html http://www.lambdadays.org/static/upload/media/1487239321204160davidturner.pdf https://www.cs.kent.ac.uk/people/staff/dat/krc/recursion_equations.pdf https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf http://krc-lang.org https://www.microsoft.com/en-us/research/publication/a-history-of-haskell-being-lazy-with-class/
dbo:wikiPageID	3841534 (xsd:integer)
dbo:wikiPageLength	4385 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	77980435 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:BCPL dbpedia-ja:Category:関数型言語 dbpedia-ja:Miranda dbpedia-ja:ガード_(プログラミング) dbpedia-ja:1979年 dbpedia-ja:1981年 dbpedia-ja:Category:プログラミング言語 dbpedia-ja:オックスフォード大学 dbpedia-ja:ケント大学 dbpedia-ja:動的型付け dbpedia-ja:宣言型プログラミング dbpedia-ja:遅延評価 dbpedia-ja:関数型言語 dbpedia-ja:パターンマッチ dbpedia-ja:関数型プログラミング言語 dbpedia-ja:W:David_Turner_(computer_scientist) dbpedia-ja:W:SASL_(programming_language) dbpedia-ja:セントアンドリュース大学 dbpedia-ja:ツェルメロ＝フレンケルの公理系 dbpedia-ja:W:Orwell_(programming_language)
prop-ja:date	2018 (xsd:integer)
prop-ja:section	1 (xsd:integer)
prop-ja:website	http://krc-lang.org
prop-ja:wikiPageUsesTemplate	template-ja:Infobox_プログラミング言語 template-ja:Citation template-ja:Cite_book template-ja:No_footnotes
prop-ja:year	1981 (xsd:integer)
prop-ja:パラダイム	dbpedia-ja:宣言型プログラミング dbpedia-ja:関数型言語
prop-ja:名前	KRC (ja) KRC (ja)
prop-ja:型付け	dbpedia-ja:動的型付け
prop-ja:影響を与えた言語	(ja) 、Orwell (OL)、 (ja) (ja) 、Orwell (OL)、 (ja)
prop-ja:影響を受けた言語	dbpedia-ja:W:SASL_(programming_language)
prop-ja:設計者	dbpedia-ja:W:David_Turner_(computer_scientist)
dct:subject	dbpedia-ja:Category:関数型言語 dbpedia-ja:Category:プログラミング言語
rdf:type	owl:Thing dbo:Language dbo:ProgrammingLanguage schema:Language wikidata:Q315 wikidata:Q9143
rdfs:comment	KRC (Kent Recursive Calculator) とは、イギリス・ケント大学（University of Kent）のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。 (ja) KRC (Kent Recursive Calculator) とは、イギリス・ケント大学（University of Kent）のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。 (ja)
rdfs:label	Kent Recursive Calculator (ja) Kent Recursive Calculator (ja)
prov:wasDerivedFrom	wikipedia-ja:Kent_Recursive_Calculator?oldid=77980435&ns=0
foaf:homepage	http://krc-lang.org
foaf:isPrimaryTopicOf	wikipedia-ja:Kent_Recursive_Calculator
foaf:name	KRC (ja) KRC (ja)
is dbo:wikiPageWikiLink of	dbpedia-ja:Miranda dbpedia-ja:パターンマッチング dbpedia-ja:ピーター・アクゼル dbpedia-ja:プログラミング言語一覧
is prop-ja:影響を受けた言語 of	dbpedia-ja:Miranda
is owl:sameAs of	dbpedia-wikidata:Kent Recursive Calculator
is foaf:primaryTopic of	wikipedia-ja:Kent_Recursive_Calculator