编程语言基础：Agda 语言描述本书是 Philip Wadler 和 Wen Kokke 所著的《Programming Language Foundations in Agda》的中文翻译

1. 16:02 · Aug 30, 2022 · Tue

   

   ×

   

   编程语言基础：Agda 语言描述
   
   本书是 Philip Wadler 和 Wen Kokke 所著的《Programming Language Foundations in Agda》的中文翻译。是对编程语言理论的介绍。书中的程序使用证明助理 Agda 编写
   
   在线访问 | 中文版 | #电子书