作 者:Tiark Rompf ;Arvind K. Sujeeth ;HyoukJoong Lee 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;66:93-117.doi:10.4204/EPTCS.66.5
出 版 社:Open Publishing Association
文 章 ID:83120295
作 者:Tiark Rompf ;Kevin J. Brown ;HyoukJoong Lee 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:238-261.doi:10.4230/LIPIcs.SNAPL.2015.238
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846748