Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Charity_(programming_language)> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Charity_(programming_language) abstract "Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett. Based on ideas by Hagino Tatsuya, it is completely grounded in category theory.Disregarding interactions with the outside world, all Charity programs are guaranteed to terminate or stay productive.The language allows ordinary recursive data types, such as might be found in ML, which are required to be finite, and corecursive data types, which are allowed to be potentially infinite. The control structure for operating on recursive data types is primitive recursion or paramorphism, and the control structure for corecursive data types is primitive co-recursion or apomorphism. Neither control structure can operate over the other kind of data, so all paramorphisms terminate and all apomorphisms are productive.".
- Charity_(programming_language) wikiPageExternalLink home.html.
- Charity_(programming_language) wikiPageExternalLink index.html.en.
- Charity_(programming_language) wikiPageExternalLink charity-language.
- Charity_(programming_language) wikiPageID "1364508".
- Charity_(programming_language) wikiPageLength "2991".
- Charity_(programming_language) wikiPageOutDegree "16".
- Charity_(programming_language) wikiPageRevisionID "662601687".
- Charity_(programming_language) wikiPageWikiLink Apomorphism.
- Charity_(programming_language) wikiPageWikiLink Category:Academic_programming_languages.
- Charity_(programming_language) wikiPageWikiLink Category:Experimental_programming_languages.
- Charity_(programming_language) wikiPageWikiLink Category:Functional_languages.
- Charity_(programming_language) wikiPageWikiLink Category_theory.
- Charity_(programming_language) wikiPageWikiLink output.
- Charity_(programming_language) wikiPageWikiLink Linux.
- Charity_(programming_language) wikiPageWikiLink ML_(programming_language).
- Charity_(programming_language) wikiPageWikiLink Paramorphism.
- Charity_(programming_language) wikiPageWikiLink Programming_language.
- Charity_(programming_language) wikiPageWikiLink Purely_functional.
- Charity_(programming_language) wikiPageWikiLink SunOS.
- Charity_(programming_language) wikiPageWikiLink University_of_Calgary.
- Charity_(programming_language) wikiPageWikiLink Windows_9x.
- Charity_(programming_language) wikiPageWikiLink Windows_NT.
- Charity_(programming_language) wikiPageWikiLinkText "Charity (programming language)".
- Charity_(programming_language) wikiPageWikiLinkText "Charity".
- Charity_(programming_language) developer "The Charity Development Group".
- Charity_(programming_language) latestPreviewVersion "1.99".
- Charity_(programming_language) license "Non-commercial use only".
- Charity_(programming_language) name "Charity".
- Charity_(programming_language) operatingSystem Linux.
- Charity_(programming_language) operatingSystem SunOS.
- Charity_(programming_language) operatingSystem Windows_9x.
- Charity_(programming_language) operatingSystem Windows_NT.
- Charity_(programming_language) paradigm Purely_functional.
- Charity_(programming_language) wikiPageUsesTemplate Template:Compu-lang-stub.
- Charity_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Charity_(programming_language) wikiPageUsesTemplate Template:Multiple_issues.
- Charity_(programming_language) wikiPageUsesTemplate Template:Notability.
- Charity_(programming_language) wikiPageUsesTemplate Template:Official_website.
- Charity_(programming_language) wikiPageUsesTemplate Template:Primary_sources.
- Charity_(programming_language) wikiPageUsesTemplate Template:Start_date_and_age.
- Charity_(programming_language) wikiPageUsesTemplate Template:URL.
- Charity_(programming_language) year "1992".
- Charity_(programming_language) subject Category:Academic_programming_languages.
- Charity_(programming_language) subject Category:Experimental_programming_languages.
- Charity_(programming_language) subject Category:Functional_languages.
- Charity_(programming_language) type Language.
- Charity_(programming_language) type ProgrammingLanguage.
- Charity_(programming_language) type Language.
- Charity_(programming_language) type Redirect.
- Charity_(programming_language) type Language.
- Charity_(programming_language) type Thing.
- Charity_(programming_language) type Q315.
- Charity_(programming_language) type Q34770.
- Charity_(programming_language) type Q9143.
- Charity_(programming_language) comment "Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett.".
- Charity_(programming_language) label "Charity (programming language)".
- Charity_(programming_language) sameAs Q2957843.
- Charity_(programming_language) sameAs چریتی_(زبان_برنامهنویسی).
- Charity_(programming_language) sameAs Charity_(langage).
- Charity_(programming_language) sameAs m.04wyyl.
- Charity_(programming_language) sameAs Q2957843.
- Charity_(programming_language) wasDerivedFrom Charity_(programming_language)?oldid=662601687.
- Charity_(programming_language) homepage home.html.
- Charity_(programming_language) isPrimaryTopicOf Charity_(programming_language).
- Charity_(programming_language) name "Charity".