参数化代数协议
摘要：代数协议的定义使得可以类比于使用代数数据类型定义特定领域类型的协议模板和会话类型。参数化的代数协议涵盖了所有常规的，以及大多数上下文无关和嵌套的会话类型，并且通过一个在线性时间内运行的名义检查替代了昂贵的超线性类型检查算法。代数协议与多态相结合，通过促进新的参数化和组合会话类型的方法，增加了表达能力和模块化性。
作者：Andreia Mordido and Janek Spaderna and Peter Thiemann and Vasco T. Vasconcelos
论文ID：2304.03764
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-10