安德烈·鲍尔；普雷特纳，马蒂亚 用于代数效果和处理程序的效果系统。 （英语） Zbl 1394.68051号 Heckel，Reiko（编辑）等人，《计算机科学中的代数和余代数》。2013年9月3日至6日，第五届国际会议，CALCO 2013，波兰华沙。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40205-0/pbk）。计算机科学课堂讲稿8089，1-16（2013）。 摘要：我们提出了一个用于代数效果和处理程序的效果系统。由于处理程序可能会将有效计算转换为纯计算，因此效果系统是非单调的，因为效果不仅会累积，还可能会从类型中删除或进行一般转换。我们还基于具有部分等价关系的域理论模型，为效果系统提供了指称语义。语义验证了有效计算的等式推理。关于整个系列，请参见[Zbl 1271.68041号]. 引用于4文件 MSC公司： 68甲15 编程语言理论 68甲18 函数编程和lambda演算 软件：效率 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bauer｝和\textit｛M.Pretnar｝，Lect。注释计算。科学。8089，1-16（2013；Zbl 1394.68051） 全文： 内政部 arXiv公司