The Next 700 Semantics: A Research Challenge

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]

Bibliographies