About: Polymorphic recursion

Property	Value
dbo:description	Programmiersprache (de) langage de programmation (fr) linguagem de programação (pt) linguaggio di programmazione (it) programmeertaal (nl) programmeringssprog (da) język programowania (pl) lenguaje de programación (es) limbaj de programare (ro) llenguatge de programació (ca) ohjelmointikieli (fi) programmeringsspråk (nn) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) yezh programmiñ (br) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) recursive parametrically polymorphic function (en)
dbo:wikiPageExternalLink	https://www.academia.edu/download/34646914/Vasconcellos_C.pdf http://www.kestrel.edu/home/people/meertens/publications/papers/Incremental_polymorphic_type_checking_in_B.pdf http://citeseerx.ist.psu.edu/viewdoc/summary%3Fdoi=10.1.1.31.3551 http://www.brics.dk/LS/95/3/BRICS-LS-95-3.ps.gz http://www.cis.uni-muenchen.de/~leiss/polyrec.html http://www.cis.uni-muenchen.de/~leiss/polyrec/polyrec.cisbericht.96-101.ps.gz http://www.dcc.ufmg.br/~camarao/ml0-impl.ps
dbo:wikiPageWikiLink	dbr:5,6],[7],[8,9 dbr:Binding-time_analysis dbr:Nested_datatype dbr:Semi-unification dbr:Type-based_program_analysis dbr:Functional_programming dbr:Parametric_polymorphism dbr:Java_(programming_language) dbr:Tower_of_Hanoi dbr:Type_signature dbr:Alan_Mycroft dbr:Lambert_Meertens dbc:Recursion dbr:Computer_science dbr:Recursion_(computer_science) dbr:Robin_Milner dbc:Polymorphism_(computer_science) dbr:Class_(computer_programming) dbr:Region-based_memory_management dbr:Undecidable_problem dbr:Electronic_Notes_in_Theoretical_Computer_Science dbc:Object-oriented_programming dbr:Type_inference dbr:Richard_Bird_(computer_scientist) dbr:ACM_Transactions_on_Programming_Languages_and_Systems dbr:Function_(computer_science) dbr:Haskell_(programming_language) dbr:University_of_Munich dbr:Higher-ranked_polymorphism dbr:Semi-algorithm dbr:Type_annotation
dbp:bot	medic (en)
dbp:date	January 2025 (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Expand_section dbt:Dead_link dbt:Sfn dbt:See_also dbt:Infobox_programming_language dbt:Infobox_software dbt:Cbignore
dct:subject	dbc:Recursion dbc:Polymorphism_(computer_science) dbc:Object-oriented_programming
rdf:type	owl:Thing dbo:Language wikidata:Q315 wikidata:Q9143 schema:Language
rdfs:label	Polymorphic recursion (en)
rdfs:seeAlso	dbr:Parametric_polymorphism
owl:sameAs	freebase:Polymorphic recursion wikidata:Polymorphic recursion dbpedia-global:Polymorphic recursion
prov:wasDerivedFrom	wikipedia-en:Polymorphic_recursion?oldid=1271452426&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Polymorphic_recursion
is dbo:wikiPageRedirects of	dbr:Hindley-Milner-Mycroft dbr:Hindley/Milner/Mycroft dbr:Hindley–Milner–Mycroft dbr:Milner-Mycroft dbr:Milner-Mycroft_Calculus dbr:Milner-Mycroft_calculus dbr:Milner-Mycroft_derivable dbr:Milner-Mycroft_typability dbr:Milner/Mycroft dbr:Milner/Mycroft_derivable dbr:Milner–Mycroft dbr:Milner–Mycroft_Calculus dbr:Milner–Mycroft_calculus dbr:Milner–Mycroft_derivable dbr:Milner–Mycroft_typability
is dbo:wikiPageWikiLink of	dbr:Parametric_polymorphism dbr:Principal_type dbr:RE_(complexity) dbr:Type_inference dbr:Hindley-Milner-Mycroft dbr:Hindley/Milner/Mycroft dbr:Hindley–Milner–Mycroft dbr:Milner-Mycroft dbr:Milner-Mycroft_Calculus dbr:Milner-Mycroft_calculus dbr:Milner-Mycroft_derivable dbr:Milner-Mycroft_typability dbr:Milner/Mycroft dbr:Milner/Mycroft_derivable dbr:Milner–Mycroft dbr:Milner–Mycroft_Calculus dbr:Milner–Mycroft_calculus dbr:Milner–Mycroft_derivable dbr:Milner–Mycroft_typability
is foaf:primaryTopic of	wikipedia-en:Polymorphic_recursion