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

Updated links to TSPL and PUC-Rio

Browse source
This commit is contained in:
Wen Kokke 2020-07-14 19:47:08 +01:00
parent 1fe4b0b407
commit 493a883896
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
index.md
View file

@ -80,16 +80,19 @@ Pull requests are encouraged.
* [Dan Ghica, University of Birmingham][BHAM-2019]
* [Adrian King, San Francisco Types, Theorems, and Programming Languages Meetup][SFPL-Meetup-2020]
* [Prabhakar Ragde, University of Waterloo][UW-2019]
* [Philip Wadler, University of Edinburgh]({{ site.baseurl }}/TSPL/2019/)
* [Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro]({{ site.baseurl }}/PUC/2019/)
* [Philip Wadler, University of Edinburgh][TSPL-2019]
* [Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro][PUC-2019]
#### 2018
* [Philip Wadler, University of Edinburgh]({{ site.baseurl }}/TSPL/2018/)
* [Philip Wadler, University of Edinburgh][TSPL-2018]
* [David Darais, University of Vermont][UVM-2018]
* John Leo, Google Seattle
Please tell us of others!
[TSPL-2018]: https://plfa.github.io/19.08/TSPL/2018/
[PUC-2019]: https://plfa.github.io/20.07/PUC/2019/
[TSPL-2019]: https://plfa.github.io/20.07/TSPL/2019/
[GitHub]: https://github.com/plfa/plfa.github.io/
[UVM-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/
[IU-2020]: https://jsiek.github.io/B522-PL-Foundations/