%0 Journal Article %1 journals/jfp/BorgstromGP11 %A Borgström, Johannes %A Gordon, Andrew D. %A Pucella, Riccardo %D 2011 %J J. Funct. Program. %K dblp %N 2 %P 159-207 %T Roles, stacks, histories: A triple for Hoare. %U http://dblp.uni-trier.de/db/journals/jfp/jfp21.html#BorgstromGP11 %V 21

@article{journals/jfp/BorgstromGP11, added-at = {2022-02-14T00:00:00.000+0100}, author = {Borgström, Johannes and Gordon, Andrew D. and Pucella, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/2340d621efbe6e022a1c95c3498c54851/dblp}, ee = {https://doi.org/10.1017/S0956796810000134}, interhash = {60e11817c84e70c19f0334eed4685fe7}, intrahash = {340d621efbe6e022a1c95c3498c54851}, journal = {J. Funct. Program.}, keywords = {dblp}, number = 2, pages = {159-207}, timestamp = {2024-04-09T06:04:32.000+0200}, title = {Roles, stacks, histories: A triple for Hoare.}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp21.html#BorgstromGP11}, volume = 21, year = 2011 }