作　　者：Benjamin S. Lerner ;Rastislav Bod{'i}k ;Shriram Krishnamurthi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;136:1-8.doi:10.4230/LIPIcs.SNAPL.2019.0

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892065

作　　者：Ryan Culpepper ;Matthias Felleisen ;Matthew Flatt 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;136:1-19.doi:10.4230/LIPIcs.SNAPL.2019.5

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892070

作　　者：Shriram Krishnamurthi ;Benjamin S. Lerner ;Liam Elberty

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;136:1-14.doi:10.4230/LIPIcs.SNAPL.2019.9

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892074

作　　者：Thomas Ball ;Rastislav Bodík ;Shriram Krishnamurthi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:i-xiv.doi:10.4230/LIPIcs.SNAPL.2015.i

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846730

作　　者：Matthias Felleisen ;Robert Bruce Findler ;Matthew Flatt 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:113-128.doi:10.4230/LIPIcs.SNAPL.2015.113

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846740

作　　者：Benjamin S. Lerner ;Rastislav Bod{\'i}k ;Shriram Krishnamurthi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:0:i-0:viii.doi:10.4230/LIPIcs.SNAPL.2017.0

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：193875245

作　　者：Justin Pombrio ;Shriram Krishnamurthi ;Kathi Fisler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;71:13:1-13:9.doi:10.4230/LIPIcs.SNAPL.2017.13

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：193875258

作　　者：Shriram Krishnamurthi ;Benjamin S. Lerner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;56:0:i-0:xiv.doi:10.4230/LIPIcs.ECOOP.2016.0

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847532