摘要：非光滑可微分程序的Lambda-Delta核心计算及其运算语义
作者：Pedro H. Azevedo de Amorim and Christopher Lam
论文ID：2207.05946
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-14
PDF 下载： 英文版 中文版pdf翻译中