---
title          : How to Cite this Book
permalink      : /Citing/
---

# PLFA version 22.08

## Chicago

> Wadler, Philip, Wen Kokke, and Jeremy G. Siek.
> _Programming Language Foundations in Agda_.
> Available at `https://plfa.inf.ed.ac.uk/22.08/`.
> 2022.

## BibTeX

```bibtex
@Book{plfa22.08,
    author = {Philip Wadler and Wen Kokke and Jeremy G. Siek},
    title  = {Programming Language Foundations in {A}gda},
    year   = {2022},
    month  = aug,
    url    = {https://plfa.inf.ed.ac.uk/22.08/},
}
```

# PLFA version 20.07

## Chicago

> Wadler, Philip, Wen Kokke, and Jeremy G. Siek.
> _Programming Language Foundations in Agda_.
> Available at `https://plfa.inf.ed.ac.uk/20.07/`.
> 2020.

## BibTeX

```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    = {https://plfa.inf.ed.ac.uk/20.07/},
}
```

# PLFA version 19.08

## Chicago

> Wadler, Philip and Wen Kokke.
> _Programming Language Foundations in Agda_.
> Available at `https://plfa.inf.ed.ac.uk/19.08/`.
> 2019.

## BibTeX

```bibtex
@Book{plfa19.08,
    author = {Philip Wadler and Wen Kokke},
    title  = {Programming Language Foundations in {A}gda},
    year   = {2019},
    month  = aug,
    url    = {https://plfa.inf.ed.ac.uk/19.08/},
}
```
