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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n26https://books.google.com/
dbpedia-kohttp://ko.dbpedia.org/resource/
n25https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
schemahttp://schema.org/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n4http://
n15http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:List_of_functional_programming_topics
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:David_Turner_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
dbp:knownFor
dbr:Kent_Recursive_Calculator
dbo:knownFor
dbr:Kent_Recursive_Calculator
Subject Item
dbr:List_of_programmers
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:Generational_list_of_programming_languages
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:Miranda_(programming_language)
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
dbp:influencedBy
dbr:Kent_Recursive_Calculator
dbo:influencedBy
dbr:Kent_Recursive_Calculator
Subject Item
dbr:Kent_Recursive_Calculator
rdf:type
yago:Abstraction100002137 wikidata:Q9143 yago:ArtificialLanguage106894544 yago:WikicatFunctionalLanguages yago:Communication100033020 owl:Thing yago:Language106282651 dbo:Language wikidata:Q315 schema:Language yago:ProgrammingLanguage106898352 dbo:ProgrammingLanguage
rdfs:label
Kent Recursive Calculator Kent Recursive Calculator Kent Recursive Calculator 肯特递归计算器 Kent Recursive Calculator
rdfs:comment
KRC(Kent Recursive Calculator:肯特递归计算器)是一种惰性的纯函数式编程语言,由在1979年11月至1981年10月期间开发,基于了SASL,具有模式匹配、守卫和ZF表达式(现在通常叫做列表推导式)。KRC有两种主要实现:David Turner的最初实现用BCPL写成并运行于,Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。 KRC的直接后继者是Miranda,它包括了基于Milner的ML的一种多态类型规矩。 KRC (англ. Kent Recursive Calculator) — ленивый функциональный язык программирования, разработанный Дэвидом Тёрнером (David Turner) в 1981 году на базе SASL с добавлением сопоставления по образцу, охраняющих выражений (guards) и ZF-выражений (сейчас более известных как списковые включения). Существовало две реализации KRC: написанная Тэрнером на BCPL для EMAS; более поздняя от Саймона Крофта (Simon Croft) на C под Unix. KRC был главным языком для обучения функциональному программированию в «University of Kent at Canterbury (UK)» с 1982 до 1985. KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon J. Croft's later one in C under Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985. KRC (Kent Recursive Calculator) とは、イギリス・ケント大学(University of Kent)のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。
foaf:name
KRC
dbp:name
KRC
dcterms:subject
dbc:Functional_languages dbc:History_of_computing_in_the_United_Kingdom dbc:University_of_Kent
dbo:wikiPageID
17224
dbo:wikiPageRevisionID
1106617218
dbo:wikiPageWikiLink
dbr:ML_(programming_language) dbr:Association_for_Computing_Machinery dbc:Functional_languages dbr:Guard_(computing) dbr:BCPL dbc:History_of_computing_in_the_United_Kingdom dbr:C_(programming_language) dbr:ZF_expression dbr:David_Turner_(computer_scientist) dbr:Unix dbr:Pattern_matching dbr:Functional_language dbr:SASL_(programming_language) dbr:Edinburgh_Multiple_Access_System dbr:List_comprehensions dbr:SASL_programming_language dbc:University_of_Kent dbr:Functional_programming dbr:Miranda_programming_language dbr:Lazy_evaluation dbr:University_of_Kent
dbo:wikiPageExternalLink
n4:www.krc-lang.org n26:books%3Fid=O_M8AAAAIAAJ&printsec=frontcover%23v=onepage&q=KRC&f=false
owl:sameAs
dbpedia-ru:Kent_Recursive_Calculator dbpedia-ja:Kent_Recursive_Calculator wikidata:Q375533 dbpedia-ko:Kent_Recursive_Calculator dbpedia-zh:肯特递归计算器 yago-res:Kent_Recursive_Calculator freebase:m.04d88 n25:3TyBd
dbp:wikiPageUsesTemplate
dbt:Cite_book dbt:Compu-lang-stub dbt:Reflist dbt:Use_dmy_dates dbt:Infobox_programming_language
dbp:designer
dbr:David_Turner_(computer_scientist)
dbp:influenced
dbr:Miranda_programming_language
dbp:influencedBy
dbr:SASL_(programming_language)
dbp:paradigm
dbr:Functional_programming
dbp:year
1981
dbo:abstract
KRC (англ. Kent Recursive Calculator) — ленивый функциональный язык программирования, разработанный Дэвидом Тёрнером (David Turner) в 1981 году на базе SASL с добавлением сопоставления по образцу, охраняющих выражений (guards) и ZF-выражений (сейчас более известных как списковые включения). Существовало две реализации KRC: написанная Тэрнером на BCPL для EMAS; более поздняя от Саймона Крофта (Simon Croft) на C под Unix. KRC был главным языком для обучения функциональному программированию в «University of Kent at Canterbury (UK)» с 1982 до 1985. Прямым наследником KRC является Miranda, в которой также добавились полиморфные типы из ML. KRC(Kent Recursive Calculator:肯特递归计算器)是一种惰性的纯函数式编程语言,由在1979年11月至1981年10月期间开发,基于了SASL,具有模式匹配、守卫和ZF表达式(现在通常叫做列表推导式)。KRC有两种主要实现:David Turner的最初实现用BCPL写成并运行于,Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。 KRC的直接后继者是Miranda,它包括了基于Milner的ML的一种多态类型规矩。 KRC (Kent Recursive Calculator) とは、イギリス・ケント大学(University of Kent)のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である。1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された。 KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon J. Croft's later one in C under Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985. The direct successor to KRC is Miranda, which includes a polymorphic type discipline based on that of Milner's ML.
gold:hypernym
dbr:Language
dbp:wordnet_type
n15:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:Kent_Recursive_Calculator?oldid=1106617218&ns=0
dbo:wikiPageLength
2533
dbo:designer
dbr:David_Turner_(computer_scientist)
dbo:influenced
dbr:Miranda_programming_language
dbo:influencedBy
dbr:SASL_(programming_language)
foaf:isPrimaryTopicOf
wikipedia-en:Kent_Recursive_Calculator
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
dbo:influencedBy
dbr:Kent_Recursive_Calculator
Subject Item
dbr:Guard_(computer_science)
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:ISWIM
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:Pattern_matching
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
Subject Item
dbr:SASL_(programming_language)
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
dbp:influenced
dbr:Kent_Recursive_Calculator
dbo:influenced
dbr:Kent_Recursive_Calculator
Subject Item
dbr:KRC
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
dbo:wikiPageDisambiguates
dbr:Kent_Recursive_Calculator
Subject Item
dbr:Kent_(disambiguation)
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
dbo:wikiPageDisambiguates
dbr:Kent_Recursive_Calculator
Subject Item
dbr:KRC_programming_language
dbo:wikiPageWikiLink
dbr:Kent_Recursive_Calculator
dbo:wikiPageRedirects
dbr:Kent_Recursive_Calculator
Subject Item
wikipedia-en:Kent_Recursive_Calculator
foaf:primaryTopic
dbr:Kent_Recursive_Calculator