search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.37k stars 315 forks source link

Add references #504

Open wenkokke opened 4 years ago

wenkokke commented 4 years ago

Parts 1 and 2 are rather sparse when it comes to references to the relevant academic papers and further reading.

moleike commented 4 years ago

FWIW this would be a very helpful addition for those of us using the book for self-study.

marklemay commented 3 years ago

https://www.sciencedirect.com/science/article/pii/S0890540185710577 should probably be cited in the confluence section.

never mind I'm bad at reading

wenkokke commented 2 years ago

If anyone reading the book notices a missing citation, or a citation which is a hyperlink to an external page rather than a link to the references section of the chapter, please submit an issue.