Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty. The Next 700 Semantics: A Research Challenge. In Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi, editors, 3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. Volume 136 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]
@inproceedings{KrishnamurthiLE19, title = {The Next 700 Semantics: A Research Challenge}, author = {Shriram Krishnamurthi and Benjamin S. Lerner and Liam Elberty}, year = {2019}, doi = {10.4230/LIPIcs.SNAPL.2019.9}, url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.9}, researchr = {https://researchr.org/publication/KrishnamurthiLE19}, cites = {0}, citedby = {0}, booktitle = {3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA}, editor = {Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi}, volume = {136}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-113-9}, }