基于计算的类型检查器设计方法

这篇论文提出了一种基于计算的类型检查器设计方法，通过等式推理从行为规范推导出类型检查器。研究人员利用代数方法（基于fold fusion）简化计算，并采用基于约束的方法解决和组合融合前提条件。论文以三个复杂度递增的例子（简单的表达式语言、支持异常的语言和lambda演算）来说明该方法。