This HTML5 document contains 121 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n19http://www.brics.dk/LS/95/3/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n18http://www.kestrel.edu/home/people/meertens/publications/papers/
n25https://www.academia.edu/download/34646914/
dbpedia-globalhttps://global.dbpedia.org/id/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n22http://www.dcc.ufmg.br/~camarao/
n23http://www.cis.uni-muenchen.de/~leiss/
n20http://citeseerx.ist.psu.edu/viewdoc/
n10http://dbpedia.org/resource/Milner/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n15http://dbpedia.org/resource/Hindley/Milner/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n24http://www.cis.uni-muenchen.de/~leiss/polyrec/

Statements

Subject Item
dbr:Parametric_polymorphism
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Principal_type
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:RE_(complexity)
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Polymorphic_recursion
rdf:type
dbo:Language wikidata:Q315 schema:Language owl:Thing wikidata:Q9143
rdfs:seeAlso
dbr:Parametric_polymorphism
owl:sameAs
freebase:m.080hrcx dbpedia-global:4tRtg wikidata:Q7226600
rdfs:label
Polymorphic recursion
prov:wasDerivedFrom
wikipedia-en:Polymorphic_recursion?oldid=1271452426&ns=0
dbo:description
linguagem de programação langage de programmation programovací jazyk ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ programmeertaal പ്രോഗ്രാമിങ് ഭാഷ प्रोग्रामिंग भाषा limbaj de programare recursive parametrically polymorphic function Programmiersprache llenguatge de programació ohjelmointikieli lenguaje de programación שפת תכנות linguaggio di programmazione programspråk język programowania programovací jazyk programmeringsspråk programmeringssprog yezh programmiñ
dbo:wikiPageExternalLink
n18:Incremental_polymorphic_type_checking_in_B.pdf n19:BRICS-LS-95-3.ps.gz n20:summary%3Fdoi=10.1.1.31.3551 n22:ml0-impl.ps n23:polyrec.html n24:polyrec.cisbericht.96-101.ps.gz n25:Vasconcellos_C.pdf
dbo:wikiPageWikiLink
dbr:Type_signature dbr:Semi-unification dbr:Tower_of_Hanoi dbr:Type_inference dbr:Parametric_polymorphism dbr:Nested_datatype dbr:Class_(computer_programming) dbr:Java_(programming_language) dbr:Type-based_program_analysis dbr:Higher-ranked_polymorphism dbc:Object-oriented_programming dbr:Undecidable_problem dbc:Recursion dbr:Electronic_Notes_in_Theoretical_Computer_Science dbr:Robin_Milner dbr:Semi-algorithm dbr:Lambert_Meertens dbr:Function_(computer_science) dbr:Region-based_memory_management dbr:5,6%5D,%5B7%5D,%5B8,9 dbr:Richard_Bird_(computer_scientist) dbr:Functional_programming dbr:Recursion_(computer_science) dbr:University_of_Munich dbr:Computer_science dbr:Haskell_(programming_language) dbr:ACM_Transactions_on_Programming_Languages_and_Systems dbc:Polymorphism_(computer_science) dbr:Alan_Mycroft dbr:Binding-time_analysis dbr:Type_annotation
dct:subject
dbc:Object-oriented_programming dbc:Recursion dbc:Polymorphism_(computer_science)
foaf:isPrimaryTopicOf
wikipedia-en:Polymorphic_recursion
dbp:wikiPageUsesTemplate
dbt:Infobox_software dbt:Cbignore dbt:Dead_link dbt:Expand_section dbt:Reflist dbt:Sfn dbt:Cite_journal dbt:Infobox_programming_language dbt:Cite_book dbt:See_also
dbp:bot
medic
dbp:date
January 2025
Subject Item
wikipedia-en:Polymorphic_recursion
foaf:primaryTopic
dbr:Polymorphic_recursion
Subject Item
dbr:Type_inference
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Hindley-Milner-Mycroft
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
n15:Mycroft
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Hindley–Milner–Mycroft
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner-Mycroft
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner-Mycroft_Calculus
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner-Mycroft_calculus
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner-Mycroft_derivable
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner-Mycroft_typability
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
n10:Mycroft
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
n10:Mycroft_derivable
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner–Mycroft
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner–Mycroft_Calculus
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner–Mycroft_calculus
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner–Mycroft_derivable
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion
Subject Item
dbr:Milner–Mycroft_typability
dbo:wikiPageRedirects
dbr:Polymorphic_recursion
dbo:wikiPageWikiLink
dbr:Polymorphic_recursion