About: Corecursion

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Type of algorithm in computer science

Property	Value
dbo:description	type of algorithm in computer science (en)
dbo:wikiPageExternalLink	http://themonadreader.wordpress.com/2009/07/29/issue-14/ https://web.archive.org/web/20100621142601/http:/www.press.uchicago.edu/presssite/metadata.epl%3Fmode=synopsis&bookkey=3630257 http://www.cs.nott.ac.uk/~gmh/bib.html%23corecursion http://www.jucs.org/jucs_10_7/total_functional_programming http://homepages.cwi.nl/~jve/HR/ http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.32.5446 http://wrap.warwick.ac.uk/46312/1/WRAP_Smyth_cs-rr-014.pdf http://www.press.uchicago.edu/presssite/metadata.epl%3Fmode=synopsis&bookkey=3630257 http://code.activestate.com/recipes/576961/ http://www.csse.monash.edu.au/~lloyd/tildeFP/1989SPE/ http://dl.acm.org/citation.cfm%3Fid=189973.189981
dbo:wikiPageWikiLink	dbr:Non-well-founded_set_theory dbr:Anamorphism dbr:Catamorphism dbr:Finite_set dbr:Functional_programming dbr:Tail_call dbr:Fold_(higher-order_function) dbr:Call_stack dbr:Self-reference dbr:Branching_factor dbc:Articles_with_example_Python_(programming_language)_code dbc:Category_theory dbr:Recursion dbr:Factorial dbr:F-coalgebra dbr:Coinduction dbr:Dual_(category_theory) dbr:Scott_continuity dbr:Category_of_sets dbr:Assignment_(computer_science) dbr:Initial_algebra dbr:Stream_(computing) dbr:Tree_traversal dbr:Iterator dbr:Gordon_Plotkin dbr:Denotational_semantics dbc:Theoretical_computer_science dbr:Isomorphism dbr:Coq dbr:Lazy_evaluation dbr:Data_structure dbr:Stack_(abstract_data_type) dbr:Initial_and_terminal_objects dbr:Jeremy_Gibbons dbc:Recursion dbr:Computer_science dbc:Self-reference dbr:Recursion_(computer_science) dbr:Fibonacci_sequence dbr:Recurrence_relation dbr:Infinite_set dbr:Bisimulation dbr:Queue_(abstract_data_type) dbr:Apomorphism dbr:Paramorphism dbr:Generator_(computer_programming) dbc:Articles_with_example_Haskell_code dbc:Functional_programming dbr:Breadth-first_search dbr:Complete_partial_order dbr:Philip_Wadler dbr:John_Hughes_(computer_scientist) dbr:SIAM_Journal_on_Computing dbr:Haskell_(programming_language) dbr:Fibonacci_numbers dbr:Breadth-first dbr:Unfold_(higher-order_function) dbr:Greatest_fixpoint dbr:Generative_recursion dbr:Least_fixpoint dbr:Primitive_recursion dbr:Depth-first dbr:Codata_(computer_science) dbr:Parallel_assignment dbr:Pattern-matching dbr:Total_language dbr:Up_to_isomorphism
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Notelist dbt:Anchor dbt:Cite_journal dbt:Cleanup dbt:Essay dbt:Citation dbt:Cite_tech_report dbt:Refend dbt:Refbegin dbt:Technical dbt:Distinguish dbt:-- dbt:Harv dbt:Nobreak dbt:Efn dbt:Short_description
dct:subject	dbc:Articles_with_example_Python_(programming_language)_code dbc:Category_theory dbc:Theoretical_computer_science dbc:Recursion dbc:Self-reference dbc:Articles_with_example_Haskell_code dbc:Functional_programming
gold:hypernym	dbr:Operation
rdfs:label	Corecursion (en) Corecursie (nl) Корекурсия (ru) Корекурсія (uk) 共递归 (zh)
owl:differentFrom	dbr:Mutual_recursion
owl:sameAs	freebase:Corecursion wikidata:Corecursion dbpedia-nl:Corecursion dbpedia-zh:Corecursion dbpedia-ru:Corecursion dbpedia-uk:Corecursion dbpedia-global:Corecursion
prov:wasDerivedFrom	wikipedia-en:Corecursion?oldid=1228785812&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Corecursion
is dbo:wikiPageRedirects of	dbr:Corecursive dbr:Co-recursion dbr:Co-recursive
is dbo:wikiPageWikiLink of	dbr:Anamorphism dbr:Total_functional_programming dbr:Tail_call dbr:Fold_(higher-order_function) dbr:Recursion dbr:Haskell_features dbr:Coinduction dbr:Initial_algebra dbr:Tree_traversal dbr:Snap!_(programming_language) dbr:Recursion_(computer_science) dbr:Stream_(abstract_data_type) dbr:Apomorphism dbr:Generator_(computer_programming) dbr:Curry–Howard_correspondence dbr:Corecursive dbr:Co-recursion dbr:Co-recursive
is foaf:primaryTopic of	wikipedia-en:Corecursion