%0 Journal Article %1 journals/lisp/ZdancewicM02 %A Zdancewic, Steve %A Myers, Andrew C. %D 2002 %J High. Order Symb. Comput. %K dblp %N 2-3 %P 209-234 %T Secure Information Flow via Linear Continuations. %U http://dblp.uni-trier.de/db/journals/lisp/lisp15.html#ZdancewicM02 %V 15

@article{journals/lisp/ZdancewicM02, added-at = {2020-03-05T00:00:00.000+0100}, author = {Zdancewic, Steve and Myers, Andrew C.}, biburl = {https://www.bibsonomy.org/bibtex/22b2168b36d5adedf7494edd3bf4f30a2/dblp}, ee = {https://doi.org/10.1023/A:1020843229247}, interhash = {6da09cbf5affdd505be01528fc828063}, intrahash = {2b2168b36d5adedf7494edd3bf4f30a2}, journal = {High. Order Symb. Comput.}, keywords = {dblp}, number = {2-3}, pages = {209-234}, timestamp = {2020-03-06T11:42:45.000+0100}, title = {Secure Information Flow via Linear Continuations.}, url = {http://dblp.uni-trier.de/db/journals/lisp/lisp15.html#ZdancewicM02}, volume = 15, year = 2002 }