michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updating citing

Browse source
This commit is contained in:
Wen Kokke 2020-07-14 19:54:00 +01:00
parent 493a883896
commit 2d5270a4e7
1 changed files with 22 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
src/plfa/citing.md
View file

@ -4,19 +4,38 @@ layout : page
permalink : /Citing/
---
## PLFA version 20.07
> Wadler, Philip, Wen Kokke, and Jeremy G. Siek.
> _Programming Language Foundations in Agda_.
> Available at `http://plfa.inf.ed.ac.uk/20.07/`.
> 2020.
@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`.
> 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/}},
note = {Available at \url{http://plfa.inf.ed.ac.uk/19.08/}},
year = 2019,
month = aug,
}