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

added recursive types

Browse source
This commit is contained in:
Philip Wadler 2019-11-13 09:54:27 +00:00
parent 2ee8a33a4f
commit b885666c03
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -160,14 +160,20 @@ practice for the exam and familiarise yourself with exam conditions.
_Mathematical Foundations of Software Development_,
LNCS 185, pages 97–138, 1985.
* Barendregt, H. P.
* Henk Barendregt,
[Introduction to generalized type systems][barendregt]
_Journal of Functional Programming_, 1(2): 125–154, 1991.
* Vladimir Gapayev, Michael Levin, Benjamin Pierce.
[Recursive Subtyping Revealed][gapayev],
_International Conference on Functional Programming_, 2000.
[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
[gapayev]: http://homepages.inf.ed.ac.uk/wadler/papers/gapayev/gapayev-et-al-icfp2000.pdf
<!--
## Midterm course feedback