Galois联系 call-by-value 和 call-by-name。

摘要:关于值调用和名调用之间关系的推理的一个通用框架

作者:Dylan McDermott, Alan Mycroft

论文ID:2202.08246

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-02-28

PDF 下载: 英文版 中文版pdf翻译中