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

Added course to index

Browse source
This commit is contained in:
wadler 2019-07-28 14:29:02 +01:00
parent 3fcf606dde
commit 6cc7f089c6
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
index.md
View file

@ -55,7 +55,9 @@ Pull requests are encouraged.
* John Leo, Google Seattle, 2018--2019
* Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio),
[2019]({{ site.baseurl }}/PUC/2019/)
- A paper describing the book appeared in [SBMF][sbmf]
* Prabhakar Ragde, University of Waterloo,
[2019](https://cs.uwaterloo.ca/~plragde/842/)
- A paper describing the book appeared in [SBMF][sbmf].
[wen]: https://github.com/wenkokke
[phil]: https://homepages.inf.ed.ac.uk/wadler/