组合式编程的直接基础
摘要：基于类型导向操作语义的Fi+的新形式化（Formalization of Fi+ based on Type-Directed Operational Semantics）
作者：Andong Fan (1), Xuejing Huang (2), Han Xu (3), Yaozhu Sun (2) and Bruno C. d. S. Oliveira (2) ((1) Zhejiang University, (2) The University of Hong Kong, (3) Peking University)
论文ID：2205.06150
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-05-13