提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/popl/CalcagnoGZ05澳大利亚-加尔各尼奥，克里斯蒂亚诺澳大利亚-菲利普·加德纳AU-乌里扎尔法蒂TI-上下文逻辑和树更新。BT-第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL 2005，美国加利福尼亚州长滩，2005年1月12-14日SP-271型EP-2822005年上半年//DO-10.1145/1040305.1040328UR-（欧元）https://doi.org/10.1145/1040305.1040328UR-（欧元）https://doi.org/10.1145/1047659.1040328急诊室-