康拉德·瓦特 彼得·马克西莫维奇 内拉坎坦·R·克里希纳斯瓦米 菲利普·加德纳 一种用于一阶封装WebAssembly的程序逻辑。 9:1-9:30 2019 ECOOP公司 https://doi.org/10.4230/LIPIcs.ECOOP.2019.9 conf/ecop/2019 db/conf/ecoop/ecoop2019.html#WattMKG19