Abstract. Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them ...
Unfortunately, the standard parametricity theorem fails for nonstrict languages supporting a polymorphic strict evaluation primitive like Haskell's seq.
Unfortunately, the standard parametricity theorem fails for nonstrict languages supporting a polymorphic strict evaluation primitive like Haskell's seq.
Parametric polymorphism constrains the behavior of pure func- tional programs in a way that allows the derivation of interesting theorems about them solely ...
PDF | Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them.
Unfortunately, the standard parametricity theorem fails for nonstrict languages supporting a polymorphic strict evaluation primitive like Haskell's seq.
The failure of free theorems in the presence of seq ... correctly handle all the subtleties that the presence of seq entails for proofs based on free theorems.
In this paper we show that this folklore is incorrect, but that parametricity results can be recovered in the presence of seq by restricting attention to left- ...
Sep 16, 2012 · I think I read somewhere that the presence of seq ruins some free theorems, and maybe somebody else knows more about this. Also, it is not ...
The parametricity theorem can be proved with the following sequence of lemmas. ... Free theorems in the presence of seq. SIG-. PLAN Not., 39(1):99–110, 2004. 16 ...