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

added link to course at Indiana

Browse source
This commit is contained in:
Jeremy Siek 2020-01-08 14:19:30 -05:00
parent 981f7850cd
commit 95fa648a23
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
beta.md
View file

@ -64,7 +64,8 @@ Pull requests are encouraged.
- Courses taught from the textbook:
* Philip Wadler, University of Edinburgh,
[2018]({{ site.baseurl }}/TSPL/2018/)
[2018]({{ site.baseurl }}/TSPL/2018/),
[2019]({{ site.baseurl }}/TSPL/2019/)
* David Darais, University of Vermont,
[2018](http://david.darais.com/courses/fa2018-cs295A/)
* John Leo, Google Seattle, 2018--2019
@ -72,6 +73,8 @@ Pull requests are encouraged.
[2019]({{ site.baseurl }}/PUC/2019/)
* Prabhakar Ragde, University of Waterloo,
[2019](https://cs.uwaterloo.ca/~plragde/842/)
* Jeremy Siek, Indiana University,
[2020](https://jsiek.github.io/B522-PL-Foundations/)
- A paper describing the book appeared in [SBMF][sbmf].
[wen]: https://wenkokke.github.io

2
index.md
View file

@ -58,6 +58,8 @@ Pull requests are encouraged.
[2019]({{ site.baseurl }}/PUC/2019/)
* Prabhakar Ragde, University of Waterloo,
[2019](https://cs.uwaterloo.ca/~plragde/842/)
* Jeremy Siek, Indiana University,
[2020](https://jsiek.github.io/B522-PL-Foundations/)
- A paper describing the book appeared in [SBMF][sbmf].
[wen]: https://github.com/wenkokke