G.Plotkin. Linear Parametricy, Notes, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (1999) (Correct)
....to be linear categories. It would be interesting to carry on the investigation of the general properties of these categories, e.g. define coproducts, products, etc. 36 . Besides full completeness, parametricity is another quality filter for models of polymorphic functions. In particular, in [Plo93], a logic for linear parametric models has been suggested, in the line of [PA93] It would be interesting to develop further this approach, and see whether this logic holds on our linear PER models. Longo s genericity ( LMS92] can be viewed as a form of parametricity, in that it amounts to a ....
G.Plotkin. Linear Parametricy, Notes, 1993.
Fully Complete Models for ML Polymorphic Types - Abramsky, Lenisa (1999) (Correct)
....to be linear categories. It would be interesting to carry on the investigation of the general properties of these categories, e.g. define coproducts, products, etc. 36 ffl Besides full completeness, parametricity is another quality filter for models of polymorphic functions. In particular, in [Plo93], a logic for linear parametric models has been suggested, in the line of [PA93] It would be interesting to develop further this approach, and see whether this logic holds on our linear PER models. Longo s genericity ( LMS92] can be viewed as a form of parametricity, in that it amounts to a ....
G.Plotkin. Linear Parametricy, Notes, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC