加载中…
2022-07-05
Implementing Dependent Types in pi-forall
Stephanie Weirich
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本