论文标题
在pi-forall中实现相关类型
Implementing Dependent Types in pi-forall
论文作者
论文摘要
这些讲义说明了一种称为“ pi-forall”的最小依赖性语言的设计，并浏览其类型检查器的实现。它们基于2023年7月在俄勒冈州编程语言暑期学校的讲座。
These lecture notes describe the design of a minimal dependently-typed language called "pi-forall" and walk through the implementation of its type checker. They are based on lectures given at the Oregon Programming Languages Summer School during July 2023.
