Chicago

英文版:

Wadler, Philip and Wen Kokke. Programming Language Foundations in Agda. Available at http://plfa.inf.ed.ac.uk. 2019.

中文版:

Philip Wadler, Wen Kokke. 编程语言基础:Agda 语言描述[M]. 周方易, 欧林猫, 傅荣枭 译. 2019. 本书可访问 https://agda-zh.github.io/PLFA-zh/ 在线阅读.

Bibtex

英文版:

@Book{plfa2019,
  author = {Philip Wadler and Wen Kokke},
  title  = {Programming Language Foundations in {A}gda},
  note   = {Available at \url{http://plfa.inf.ed.ac.uk/}},
  year   = 2019,
}

中文版:

@Book{plfazh2019,
  author     = {Philip Wadler and Wen Kokke},
  title      = {编程语言基础:{A}gda 语言描述},
  translator = {周方易 and 欧林猫 and 傅荣枭},
  note       = {可访问 \url{https://agda-zh.github.io/PLFA-zh/} 阅读},
  year       = 2019,
}