Your use of Stack Overflow’s Products and Services, including the Stack Overflow Network, is subject to these policies and terms.
Looking at models of parametric polymorphism, I am curious why are
reflexive graph categories are used?
In particular, why do they not include relational composition?
In looking at the models, they ...
In Theorems for Free!, Wadler says that the characterization of parametricity can be re-expressed in terms of lax natural transformations and this will be the subject of a further paper. Which paper ...
Is there some natural way to understand the essence of relational semantics for parametric polymorphism?
I have just started reading about the notion of relational parametricity, a la John Reynolds' ...
It's well-known that in System F, you can encode binary products with the type
A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha
You can then define projection functions $\...