%0 Book Section %1 series/lncs/CameronDN13 %A Cameron, Nicholas Robert %A Drossopoulou, Sophia %A Noble, James %B Aliasing in Object-Oriented Programming %D 2013 %E Clarke, Dave %E Noble, James %E Wrigstad, Tobias %I Springer %K %P 84-108 %T Understanding Ownership Types with Dependent Types. %U http://dblp.uni-trier.de/db/series/lncs/lncs7850.html#CameronDN13 %V 7850 %@ 978-3-642-36945-2

@incollection{series/lncs/CameronDN13, added-at = {2023-12-13T01:25:57.000+0100}, author = {Cameron, Nicholas Robert and Drossopoulou, Sophia and Noble, James}, biburl = {https://www.bibsonomy.org/bibtex/240e5c6df220952a1543fa88abbf9906d/admin}, booktitle = {Aliasing in Object-Oriented Programming}, crossref = {series/lncs/7850}, editor = {Clarke, Dave and Noble, James and Wrigstad, Tobias}, ee = {http://dx.doi.org/10.1007/978-3-642-36946-9_5}, interhash = {717c2cb42e49af4cedea9909e1c0052c}, intrahash = {40e5c6df220952a1543fa88abbf9906d}, isbn = {978-3-642-36945-2}, keywords = {}, pages = {84-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:25:57.000+0100}, title = {Understanding Ownership Types with Dependent Types.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs7850.html#CameronDN13}, volume = 7850, year = 2013 }