本书是 Philip Wadler 和 Wen Kokke 所著的《Programming Language Foundations in Agda》的中文翻译。

本书在线版可访问 PLFA-zh 阅读。

目前全书已翻译完毕,由于译者水平有限,错漏之处在所难免,欢迎读者提出修改建议。 如有问题可在 Issue 发起讨论或直接发起 PR。本项目源码可访问 Github 获取。

以下为原书主页内容:


本书是对编程语言理论的介绍。书中的程序使用证明助理 Agda 编写。

欢迎对本书各方面的评论和建议(章节组织,可以添加/移除的材料,解释不够清楚的部分, 有价值的习题,内容或拼写错误等)。 本书的源码托管在 GitHub。欢迎拉取请求。 GitHub 上有带有习题答案的私有仓库。如果你想要获取访问权限,请联系作者之一。

前言

第一分册:逻辑基础

第二分册:编程语言基础

第三分册:指称语义

附录

后记

相关资源

使用本书教学的课程

2023

2022

2021

2020

2019

2018

请告诉我们其他的资源!