Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q2957843> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Q2957843 subject Q7134862.
- Q2957843 subject Q7467458.
- Q2957843 subject Q8431804.
- Q2957843 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.".
- Q2957843 wikiPageExternalLink home.html.
- Q2957843 wikiPageExternalLink index.html.en.
- Q2957843 wikiPageExternalLink charity-language.
- Q2957843 wikiPageWikiLink Q1067471.
- Q2957843 wikiPageWikiLink Q1208460.
- Q2957843 wikiPageWikiLink Q217413.
- Q2957843 wikiPageWikiLink Q219320.
- Q2957843 wikiPageWikiLink Q3410945.
- Q2957843 wikiPageWikiLink Q388.
- Q2957843 wikiPageWikiLink Q4780457.
- Q2957843 wikiPageWikiLink Q486487.
- Q2957843 wikiPageWikiLink Q609733.
- Q2957843 wikiPageWikiLink Q7134862.
- Q2957843 wikiPageWikiLink Q7467458.
- Q2957843 wikiPageWikiLink Q774429.
- Q2957843 wikiPageWikiLink Q8431804.
- Q2957843 wikiPageWikiLink Q860654.
- Q2957843 wikiPageWikiLink Q9143.
- Q2957843 name "Charity".
- Q2957843 type Language.
- Q2957843 type Language.
- Q2957843 type ProgrammingLanguage.
- Q2957843 type Thing.
- Q2957843 type Q315.
- Q2957843 type Q34770.
- Q2957843 type Q9143.
- Q2957843 comment "Charity is an experimental purely functional programming language, developed at the University of Calgary under the supervision of Robin Cockett.".
- Q2957843 label "Charity (programming language)".
- Q2957843 homepage home.html.
- Q2957843 name "Charity".