Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7226600> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- Q7226600 subject Q6468017.
- Q7226600 subject Q7215421.
- Q7226600 subject Q7467452.
- Q7226600 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.".
- Q7226600 wikiPageExternalLink BRICS-LS-95-3.ps.gz.
- Q7226600 wikiPageExternalLink polyrec.cisbericht.96-101.ps.gz.
- Q7226600 wikiPageExternalLink Incremental_polymorphic_type_checking_in_B.pdf.
- Q7226600 wikiPageExternalLink summary?doi=10.1.1.31.3551.
- Q7226600 wikiPageExternalLink 169701.169687.
- Q7226600 wikiPageExternalLink j.entcs.2005.06.014.
- Q7226600 wikiPageExternalLink polyrec.html.
- Q7226600 wikiPageWikiLink Q127992.
- Q7226600 wikiPageWikiLink Q1319434.
- Q7226600 wikiPageWikiLink Q190686.
- Q7226600 wikiPageWikiLink Q21198.
- Q7226600 wikiPageWikiLink Q213593.
- Q7226600 wikiPageWikiLink Q264164.
- Q7226600 wikiPageWikiLink Q3104532.
- Q7226600 wikiPageWikiLink Q34010.
- Q7226600 wikiPageWikiLink Q3502995.
- Q7226600 wikiPageWikiLink Q3757.
- Q7226600 wikiPageWikiLink Q4479242.
- Q7226600 wikiPageWikiLink Q4650737.
- Q7226600 wikiPageWikiLink Q5358287.
- Q7226600 wikiPageWikiLink Q55044.
- Q7226600 wikiPageWikiLink Q586459.
- Q7226600 wikiPageWikiLink Q6468017.
- Q7226600 wikiPageWikiLink Q6481274.
- Q7226600 wikiPageWikiLink Q7135231.
- Q7226600 wikiPageWikiLink Q7215421.
- Q7226600 wikiPageWikiLink Q7324173.
- Q7226600 wikiPageWikiLink Q746413.
- Q7226600 wikiPageWikiLink Q7467452.
- Q7226600 wikiPageWikiLink Q7661891.
- Q7226600 wikiPageWikiLink Q905621.
- Q7226600 type Language.
- Q7226600 type Language.
- Q7226600 type ProgrammingLanguage.
- Q7226600 type Thing.
- Q7226600 type Q315.
- Q7226600 type Q34770.
- Q7226600 type Q9143.
- Q7226600 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.".
- Q7226600 label "Polymorphic recursion".
- Q7226600 seeAlso Q7135231.