首页 > itarticle > how to cite this book

how to cite this book

admin 11月 12, 2020 0

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