Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Polymorphic_recursion> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items 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 thefore undecidable and requires the use of a semi-algorithm or programmer supplied type annotations.".
- 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 BRICS-LS-95-3.ps.gz.
- Polymorphic_recursion wikiPageExternalLink polyrec.html.
- Polymorphic_recursion wikiPageExternalLink polyrec.cisbericht.96-101.ps.gz.
- Polymorphic_recursion wikiPageExternalLink Incremental_polymorphic_type_checking_in_B.pdf.
- Polymorphic_recursion wikiPageID "24826482".
- Polymorphic_recursion wikiPageRevisionID "604902877".
- Polymorphic_recursion hasPhotoCollection Polymorphic_recursion.
- Polymorphic_recursion subject Category:Object-oriented_programming.
- Polymorphic_recursion subject Category:Polymorphism_(computer_science).
- Polymorphic_recursion subject Category:Recursion.
- Polymorphic_recursion type ProgrammingLanguage.
- Polymorphic_recursion type Software.
- Polymorphic_recursion type Work.
- Polymorphic_recursion type CreativeWork.
- Polymorphic_recursion type InformationEntity.
- 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 thefore undecidable and requires the use of a semi-algorithm or programmer supplied type annotations.".
- Polymorphic_recursion label "Polymorphic recursion".
- Polymorphic_recursion sameAs m.080hrcx.
- Polymorphic_recursion sameAs Q7226600.
- Polymorphic_recursion sameAs Q7226600.
- Polymorphic_recursion wasDerivedFrom Polymorphic_recursion?oldid=604902877.
- Polymorphic_recursion isPrimaryTopicOf Polymorphic_recursion.