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:58:35 +00:00
parent cbfd7d3be9
commit 75bb34c6f9
1 changed files with 19 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -152,13 +152,31 @@ but talk to me if you want to formalise something else.
examination with the Agda proof assistant, under DICE to let you examination with the Agda proof assistant, under DICE to let you
practice for the exam and familiarise yourself with exam conditions. practice for the exam and familiarise yourself with exam conditions.
## Additional reading
* John Reynolds,
[Three Approaches to Type Structure][reynolds],
_Mathematical Foundations of Software Development_,
LNCS 185, pages 97–138, 1985.
* Barendregt, H. P.
[Introduction to generalized type systems][barendregt]
_Journal of Functional Programming_, 1(2): 125–154, 1991.
[reynolds]: http://homepages.inf.ed.ac.uk/wadler/papers/reynolds/three-approaches.pdf
[barendregt]: http://homepages.inf.ed.ac.uk/wadler/papers/barendregt/pure-type-systems.pdf
<!--
## Midterm course feedback ## Midterm course feedback
You may offer feedback on the course at You may offer feedback on the course at
[https://www.surveymonkey.co.uk/r/YX7ZFYC](https://www.surveymonkey.co.uk/r/YX7ZFYC). [https://www.surveymonkey.co.uk/r/YX7ZFYC](https://www.surveymonkey.co.uk/r/YX7ZFYC).
Please do so by 4pm Thursday 31 October. Please do so by 4pm Thursday 31 October.
-->
<!-- <!--