Chicago

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

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,
}