Reynolds, J.C. (1995). Passivity and linear types. Talk given at the conference on Types for Proofs and Programs, Turin, Italy, June 1995.  Home/Search   Document Not in Database   Summary   Related Articles

....There are several ways to achieve this. For instance, one might introduce a new uniqueness attribute, say 4 , for any unique object that does not coerce to a non unique variant. This has been described in Barendsen and Smetsers (1993) Another solution is the region administration introduced by Reynolds (1995). Instead of introducing a new attribute, the present paper assigns the attribute ffl to the above type, but considers the constructor in combination with the ffl attribute as special: it is not permitted to discard its uniqueness. The leads to an adjustment of the subtyping relations as ....

Reynolds, J.C. (1995). Passivity and linear types. Talk given at the conference on Types for Proofs and Programs, Turin, Italy, June 1995.

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