Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Polymorphic_recursion> ?p ?o }
Showing triples 1 to 72 of
72
with 100 triples per page.
- Polymorphic_recursion abstract "In computer science, polymorphic recursion (also referred to as Milner–Mycroft typability or the Milner–Mycroft calculus) refers to a recursive parametrically polymorph function where the type parameter changes with each recursive invocation made instead of staying constant. Type inference for polymorphic recursion is equivalent to semi-unification and therefore undecidable and requires the use of a semi-algorithm or programmer supplied type annotations.".
- Polymorphic_recursion wikiPageExternalLink BRICS-LS-95-3.ps.gz.
- Polymorphic_recursion wikiPageExternalLink polyrec.cisbericht.96-101.ps.gz.
- Polymorphic_recursion wikiPageExternalLink Incremental_polymorphic_type_checking_in_B.pdf.
- Polymorphic_recursion wikiPageExternalLink summary?doi=10.1.1.31.3551.
- Polymorphic_recursion wikiPageExternalLink 169701.169687.
- Polymorphic_recursion wikiPageExternalLink j.entcs.2005.06.014.
- Polymorphic_recursion wikiPageExternalLink polyrec.html.
- Polymorphic_recursion wikiPageID "24826482".
- Polymorphic_recursion wikiPageLength "8026".
- Polymorphic_recursion wikiPageOutDegree "33".
- Polymorphic_recursion wikiPageRevisionID "697244754".
- Polymorphic_recursion wikiPageWikiLink ACM_Transactions_on_Programming_Languages_and_Systems.
- Polymorphic_recursion wikiPageWikiLink Association_for_Computing_Machinery.
- Polymorphic_recursion wikiPageWikiLink Binding-time_analysis.
- Polymorphic_recursion wikiPageWikiLink Category:Object-oriented_programming.
- Polymorphic_recursion wikiPageWikiLink Category:Polymorphism_(computer_science).
- Polymorphic_recursion wikiPageWikiLink Category:Recursion.
- Polymorphic_recursion wikiPageWikiLink Class_(computer_programming).
- Polymorphic_recursion wikiPageWikiLink Computer_science.
- Polymorphic_recursion wikiPageWikiLink Electronic_Notes_in_Theoretical_Computer_Science.
- Polymorphic_recursion wikiPageWikiLink Elsevier.
- Polymorphic_recursion wikiPageWikiLink Haskell_(programming_language).
- Polymorphic_recursion wikiPageWikiLink International_Symposium_on_Programming.
- Polymorphic_recursion wikiPageWikiLink Java.
- Polymorphic_recursion wikiPageWikiLink Lambert_Meertens.
- Polymorphic_recursion wikiPageWikiLink Ludwig_Maximilian_University_of_Munich.
- Polymorphic_recursion wikiPageWikiLink Nested_datatype.
- Polymorphic_recursion wikiPageWikiLink Parametric_polymorphism.
- Polymorphic_recursion wikiPageWikiLink RE_(complexity).
- Polymorphic_recursion wikiPageWikiLink Recursion_(computer_science).
- Polymorphic_recursion wikiPageWikiLink Region-based_memory_management.
- Polymorphic_recursion wikiPageWikiLink Richard_Bird_(computer_scientist).
- Polymorphic_recursion wikiPageWikiLink Semi-unification.
- Polymorphic_recursion wikiPageWikiLink Subroutine.
- Polymorphic_recursion wikiPageWikiLink Symposium_on_Principles_of_Programming_Languages.
- Polymorphic_recursion wikiPageWikiLink Tower_of_Hanoi.
- Polymorphic_recursion wikiPageWikiLink Type-based_program_analysis.
- Polymorphic_recursion wikiPageWikiLink Type_inference.
- Polymorphic_recursion wikiPageWikiLink Type_signature.
- Polymorphic_recursion wikiPageWikiLink Undecidable_problem.
- Polymorphic_recursion wikiPageWikiLinkText "Polymorphic recursion".
- Polymorphic_recursion wikiPageWikiLinkText "polymorphic recursion".
- Polymorphic_recursion wikiPageUsesTemplate Template:Cite_journal.
- Polymorphic_recursion wikiPageUsesTemplate Template:Compu-prog-stub.
- Polymorphic_recursion wikiPageUsesTemplate Template:Expand_section.
- Polymorphic_recursion wikiPageUsesTemplate Template:Infobox_programming_language.
- Polymorphic_recursion wikiPageUsesTemplate Template:Infobox_software.
- Polymorphic_recursion wikiPageUsesTemplate Template:Reflist.
- Polymorphic_recursion wikiPageUsesTemplate Template:See_also.
- Polymorphic_recursion wikiPageUsesTemplate Template:Sfn.
- Polymorphic_recursion subject Category:Object-oriented_programming.
- Polymorphic_recursion subject Category:Polymorphism_(computer_science).
- Polymorphic_recursion subject Category:Recursion.
- Polymorphic_recursion type Language.
- Polymorphic_recursion type ProgrammingLanguage.
- Polymorphic_recursion type Algorithm.
- Polymorphic_recursion type Concept.
- Polymorphic_recursion type Language.
- Polymorphic_recursion type Thing.
- Polymorphic_recursion type Q315.
- Polymorphic_recursion type Q34770.
- Polymorphic_recursion type Q9143.
- Polymorphic_recursion comment "In computer science, polymorphic recursion (also referred to as Milner–Mycroft typability or the Milner–Mycroft calculus) refers to a recursive parametrically polymorph function where the type parameter changes with each recursive invocation made instead of staying constant. Type inference for polymorphic recursion is equivalent to semi-unification and therefore undecidable and requires the use of a semi-algorithm or programmer supplied type annotations.".
- Polymorphic_recursion label "Polymorphic recursion".
- Polymorphic_recursion seeAlso Higher-ranked_type.
- Polymorphic_recursion seeAlso Parametric_polymorphism.
- Polymorphic_recursion sameAs Q7226600.
- Polymorphic_recursion sameAs m.080hrcx.
- Polymorphic_recursion sameAs Q7226600.
- Polymorphic_recursion wasDerivedFrom Polymorphic_recursion?oldid=697244754.
- Polymorphic_recursion isPrimaryTopicOf Polymorphic_recursion.