@收款{zbMATH06794654，作者={Krogh-Jespersen，Morten和Svendsen，Kasper和Birkedal，Lars}，Title={高阶并发分离逻辑中类型与效果的关系模型}，BookTitle={2017年1月15日至21日在法国巴黎举行的第44届ACM SIGPLAN编程语言原则年会论文集，国际标准图书编号={978-1-4503-4660-3}，页码={218--231}，年份={2017年}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/3009837.3009877}，关键词={68N30,03B70,68Q60,68Q85}，zbMATH＝{6794654}，Zbl={1380.68126}}