作 者:Lu{\'\i}s Caires ;Jorge A. Prez ;Frank Pfenning 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.39
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891947
作 者:Alen Arslanagic ;Jorge A. Prez ;Erik Voogd
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;134:1-28.doi:10.4230/LIPIcs.ECOOP.2019.23
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892101