作 者:Alexey Gotsman ;Sebastian Burckhardt
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;91:23:1-23:16.doi:10.4230/LIPIcs.DISC.2017.23
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:202421956
作 者:Sebastian Burckhardt ;Jonathan Protzenko
出 处:Bulletin of the Technical Committee on Data Engineering. 2016 ;39(1):45.
出 版 社:IEEE Computer Society
文 章 ID:213498558
作 者:Sebastian Burckhardt ;Daan Leijen ;Jonathan Protzenko 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;37:568-590.doi:10.4230/LIPIcs.ECOOP.2015.568
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846928