Fix LaTeX and add a link to the citation.
]]>Add a basic paragraph about the classic “Theorems for free!” paper.
I am redlinking free theorem in anticipation of a more categorical approach which could consider these as examples of free objects.
System F is redlinked elsewhere. Yet another article I should probably stub.
]]>Added disambiguation link to poly-morphism.
]]>added the Milner 1978 reference
]]>added this reference:
]]>
- Robert Atkey, Neil Ghani and Patricia Johann, A Relationally Parametric Model of Dependent Type Theory, In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014). 2014. (web)
Created polymorphism.
]]>