Agda中的编程语言基础
Programming language foundations in Agda (2023-12-27, Agda, 0KB, 下载0次)
Agda中使用共导类型的交互式和面向对象编程，
Interactive and object-oriented programming in Agda using coinductive types, (2020-06-04, Agda, 0KB, 下载0次)
Cedille，一种基于依赖Lambda消去演算的依赖类型编程语言
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations (2022-02-20, Agda, 0KB, 下载0次)