A Fundamental Permission Interpretation for Ownership Types.

Yang Zhao John Boyland A Fundamental Permission Interpretation for Ownership Types. 65-72 2008 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2008.45 conf/tase/2008 db/conf/tase/tase2008.html#ZhaoB08