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

added citation to jfp paper

Browse source
This commit is contained in:
wadler 2019-11-06 11:29:43 +00:00
parent ed14367a4f
commit f12e45117e
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -141,6 +141,8 @@ The optional project is to take a research paper and formalise all or
part of it in Agda. I suggest formalising the paper
[here](http://homepages.inf.ed.ac.uk/wadler/topics/blame.html#coercions),
but talk to me if you want to formalise something else.
(A more recent draft of the same paper is
[here](http://homepages.inf.ed.ac.uk/wadler/papers/coercions-jfp/coercions-jfp.pdf).)
* Optional project cw6 due 4pm Thursday 28 November (Week 11)