摄影 菲利普·加德纳 托马斯·詹森 阿兰·施密特 骨骼语义学及其解释。 44:1-44:31 2019 三 POPL公司 程序。ACM计划。语言。 https://doi.org/10.1145/3290357 db/journals/pacmpl/pacmpl3.html#BodinGJS19