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

updated TSPL page

Browse source
This commit is contained in:
wadler 2019-11-12 20:59:49 +00:00
parent 75bb34c6f9
commit 0022dd4b3a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
courses/tspl/2019/tspl2019.md
View file

@ -155,7 +155,7 @@ practice for the exam and familiarise yourself with exam conditions.
## Additional reading ## Additional reading
* John Reynolds, * John Reynolds,
[Three Approaches to Type Structure][reynolds], [Three Approaches to Type Structure][reynolds],
_Mathematical Foundations of Software Development_, _Mathematical Foundations of Software Development_,
LNCS 185, pages 97–138, 1985. LNCS 185, pages 97–138, 1985.