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{plfa20.07,
    author = {Philip Wadler and Wen Kokke and Jeremy G. Siek},
    title  = {Programming Language Foundations in {A}gda},
    year   = {2020},
    month  = jul,
    url    = {http://plfa.inf.ed.ac.uk/20.07/},
}

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{plfa19.08,
    author = {Philip Wadler and Wen Kokke},
    title  = {Programming Language Foundations in {A}gda},
    year   = {2019},
    month  = aug,
    url    = {http://plfa.inf.ed.ac.uk/19.08/},
}