Jump to content

Talk:Parametric polymorphism/to do

From Wikipedia, the free encyclopedia

< Talk:Parametric polymorphism

This is the current revision of this page, as edited by 131.211.84.85 (talk) at 11:54, 1 June 2011 (←Created page with '{{tasks |requests= |assess= |cleanup= |copyedit= |disambiguation= |expand=first-class polymorphism: can refer to impredicative polymorphism or [[rank-n poly...'). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Here are some tasks awaiting attention:

Expand : first-class polymorphism: can refer to impredicative polymorphism or rank-n polymorphism + polymorphic recursion (Hinze, "First-class phantom types")

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Parametric_polymorphism/to_do&oldid=431985950"