带型变的名义子类型化子类型化机器的研究（完整版）
编程语言
2021-10-22 v1
摘要
这是对Kennedy和Pierce的带型变的名义子类型化背后的子类型化机器的计算能力的研究。我们描绘了Kennedy和Pierce类型系统的片段格，并根据正则、上下文无关、确定性和非确定性树语言刻画了它们的计算能力。基于该理论，我们提出了Treetop——一个子类型化机器的C#实现生成器。该软件工件构成了第一个可行的（尽管是概念验证）流畅API生成器，用于在可判定的类型系统片段中支持上下文无关的API协议。
引用
@article{arxiv.2109.03950,
title = {Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)},
author = {Ori Roth},
journal= {arXiv preprint arXiv:2109.03950},
year = {2021}
}