%0 Journal Article %1 journals/toplas/WalkerCM00 %A Walker, David %A Crary, Karl %A Morrisett, J. Gregory %D 2000 %J ACM Trans. Program. Lang. Syst. %K dblp %N 4 %P 701-771 %T Typed memory management via static capabilities. %U http://dblp.uni-trier.de/db/journals/toplas/toplas22.html#WalkerCM00 %V 22

@article{journals/toplas/WalkerCM00, added-at = {2024-04-08T00:00:00.000+0200}, author = {Walker, David and Crary, Karl and Morrisett, J. Gregory}, biburl = {https://www.bibsonomy.org/bibtex/2f5c62bb395a4c07ac07076b915988fb4/dblp}, ee = {https://doi.org/10.1145/363911.363923}, interhash = {7e6246575093e3b5e68f4174e292f55f}, intrahash = {f5c62bb395a4c07ac07076b915988fb4}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 4, pages = {701-771}, timestamp = {2024-04-12T14:41:03.000+0200}, title = {Typed memory management via static capabilities.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas22.html#WalkerCM00}, volume = 22, year = 2000 }