Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created polymorphism.
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)
Added disambiguation link to poly-morphism.
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.
1 to 6 of 6