%0 Journal Article %1 journals/sigplan/DreyerFGHJSSW13 %A Dreyer, Derek %A Field, John %A Giacobazzi, Roberto %A Hicks, Michael %A Jagannathan, Suresh %A Sagiv, Mooly %A Sewell, Peter %A Wadler, Philip %D 2013 %J ACM SIGPLAN Notices %K dblp %N 4S %P 12-16 %T Principles of POPL. %U http://dblp.uni-trier.de/db/journals/sigplan/sigplan48.html#DreyerFGHJSSW13 %V 48

@article{journals/sigplan/DreyerFGHJSSW13, added-at = {2020-05-26T00:00:00.000+0200}, author = {Dreyer, Derek and Field, John and Giacobazzi, Roberto and Hicks, Michael and Jagannathan, Suresh and Sagiv, Mooly and Sewell, Peter and Wadler, Philip}, biburl = {https://www.bibsonomy.org/bibtex/27b655e0b59597b1e39aa8f7a90148cb6/dblp}, ee = {https://doi.org/10.1145/2502508.2502517}, interhash = {fd3dc1b3c91e898dc7b4b376a9af5b57}, intrahash = {7b655e0b59597b1e39aa8f7a90148cb6}, journal = {ACM SIGPLAN Notices}, keywords = {dblp}, number = {4S}, pages = {12-16}, timestamp = {2020-05-27T11:39:42.000+0200}, title = {Principles of POPL.}, url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan48.html#DreyerFGHJSSW13}, volume = 48, year = 2013 }