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

Updated index

Browse source
This commit is contained in:
Wen Kokke 2020-07-14 19:10:15 +01:00
parent acca8350b1
commit f3a95cb994
1 changed files with 31 additions and 39 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

58
index.md
View file

@ -1,5 +1,5 @@
--- ---
title : Table of Contents title : Table of Contents
layout : page layout : page
--- ---
@ -61,44 +61,36 @@ Pull requests are encouraged.
## Related ## Related
- Mailing lists for PLFA: Mailing lists for PLFA:
* [plfa-interest@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-interest): <br /> * [plfa-interest@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-interest): <br />
A mailing list for users of the book. <br /> A mailing list for users of the book. <br />
This is the place to ask and answer questions, or comment on the content of the book. This is the place to ask and answer questions, or comment on the content of the book.
* [plfa-dev@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-dev): <br /> * [plfa-dev@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-dev): <br />
A mailing list for contributors. <br /> A mailing list for contributors. <br />
This is the place to discuss changes and new additions to the book in excruciating detail. This is the place to discuss changes and new additions to the book in excruciating detail.
- Courses taught from the textbook (please tell us of others):
* Philip Wadler, University of Edinburgh, Courses taught from the textbook (please tell us of others):
[2018]({{ site.baseurl }}/TSPL/2018/), - 2020:
[2019]({{ site.baseurl }}/TSPL/2019/) * [William Cook, University of Texas][UT-2020]
* David Darais, University of Vermont, * [Jeremy Siek, Indiana University][IU-2020]
[2018][UVM-2018] - 2019:
* John Leo, Google Seattle, 2018--2019 * [Dan Ghica, University of Birmingham][BHAM-2019]
* Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), * [Adrian King, San Francisco Types, Theorems, and Programming Languages Meetup][SFPL-Meetup-2020]
[2019]({{ site.baseurl }}/PUC/2019/) * [Prabhakar Ragde, University of Waterloo][UW-2019]
* Prabhakar Ragde, University of Waterloo, * [Philip Wadler, University of Edinburgh]({{ site.baseurl }}/TSPL/2019/)
[2019][UW-2019] * [Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro]({{ site.baseurl }}/PUC/2019/)
* Adrian King, - 2018:
San Francisco Types, Theorems, and Programming Languages Meetup * [Philip Wadler, University of Edinburgh]({{ site.baseurl }}/TSPL/2018/)
[2019--2020][SFPL-Meetup-2020] * [David Darais, University of Vermont][UVM-2018]
* Dan Ghica, University of Birmingham * John Leo, Google Seattle
[2019][BHAM-2019]
* Jeremy Siek, Indiana University, Shortlisted for Outstanding Course by Edinburgh University Student Association (second place) [2020][EUSA-2020]:
[2020][IU-2020] * "Types and Semantics for Programming Languages was the single best course I took throughout my time at the University of Edinburgh. Philip Wadler clearly poured his heart into teaching it, including writing a whole textbook including exercises specifically for the course."
* William Cook, University of Texas, * "One of the most inspiring courses. Philip designed a course that is both very theoretical and very practical."
[2020][UT-2020]
- Shortlisted for Outstanding Course by Edinburgh University Student A paper describing the book appeared in [SBMF][SBMF] and [SCP][SCP].
Association (second place) [2020][EUSA-2020]
* "Types and Semantics for Programming Languages was the single [NextJournal][NextJournal] has built a notebook version of PLFA, which lets you edit and execute the book via a web interface.
best course I took throughout my time at the University of
Edinburgh. Philip Wadler clearly poured his heart into teaching
it, including writing a whole textbook including exercises
specifically for the course."
* "One of the most inspiring courses. Philip designed a course
that is both very theoretical and very practical."
- A paper describing the book appeared in [SBMF][SBMF] and [SCP][SCP].
- [NextJournal][NextJournal] has built a notebook version of PLFA, which lets you edit and execute the book via a web interface.
[GitHub]: https://github.com/plfa/plfa.github.io/ [GitHub]: https://github.com/plfa/plfa.github.io/
[UVM-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/ [UVM-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/