作　　者：Benjamin Chung ;Francesco Zappa Nardelli ;Jan Vitek

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;134:1-15.doi:10.4230/LIPIcs.ECOOP.2019.24

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

文 章 ID：238892102

作　　者：Todd A. Anderson ;Hai Liu ;Lindsey Kuper 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;74:4:1-4:29.doi:10.4230/LIPIcs.ECOOP.2017.4

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

文 章 ID：197690092

作　　者：Benjamin Chung ;Paley Li ;Francesco Zappa Nardelli 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:12:1-12:24.doi:10.4230/LIPIcs.ECOOP.2018.12

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

文 章 ID：220014743

作　　者：Gregor Richards ;Francesco Zappa Nardelli ;Jan Vitek

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;37:76-100.doi:10.4230/LIPIcs.ECOOP.2015.76

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

文 章 ID：186846908

作　　者：Gustavo Petri ;Jan Vitek ;Suresh Jagannathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;37:445-469.doi:10.4230/LIPIcs.ECOOP.2015.445

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

文 章 ID：186846923