PLFA version 20.07

Chicago

Wadler, Philip, Wen Kokke, and Jeremy G. Siek. Programming Language Foundations in Agda. Available at http://plfa.inf.ed.ac.uk/20.07/. 2020.

BibTeX

    @Book{plfa2020,
      author = {Philip Wadler and Wen Kokke and Jeremy G. Siek},
      title  = {Programming Language Foundations in {A}gda},
      note   = {Available at \url{http://plfa.inf.ed.ac.uk/20.07/}},
      year   = 2020,
  month  = jul,
    }

PLFA version 19.08

Chicago

Wadler, Philip and Wen Kokke. Programming Language Foundations in Agda. Available at http://plfa.inf.ed.ac.uk/19.08/. 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/19.08/}},
      year   = 2019,
  month  = aug,
    }