%0 Journal Article %1 journals/pacmpl/RiouxZ20 %A Rioux, Nick %A Zdancewic, Steve %D 2020 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 95:1-95:27 %T Computation focusing. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#RiouxZ20 %V 4

@article{journals/pacmpl/RiouxZ20, added-at = {2021-02-17T00:00:00.000+0100}, author = {Rioux, Nick and Zdancewic, Steve}, biburl = {https://www.bibsonomy.org/bibtex/202b578d4cb1fda3da67ccfaf0e43a49c/dblp}, ee = {https://doi.org/10.1145/3408977}, interhash = {7e57ad091a639b7cb26886693d7dfae6}, intrahash = {02b578d4cb1fda3da67ccfaf0e43a49c}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {95:1-95:27}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {Computation focusing.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#RiouxZ20}, volume = 4, year = 2020 }