Permalink
Browse files

change to public link

  • Loading branch information...
namin committed Sep 8, 2016
1 parent be295e5 commit 6b36c46b7354ef86c69641b2531b169041fdbb27
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.md
@@ -15,7 +15,7 @@ From F to DOT in Small-Step:
- [DOT](https://github.com/TiarkRompf/minidot/blob/master/dev2016/dot_storeless_tidy.v)

Historical development:
- OOPSLA'16 ([PDF](http://lampwww.epfl.ch/~amin/drafts/dot_oopsla16.pdf), [code](http://oopsla16.namin.net))
- OOPSLA'16 ([PDF](http://lampwww.epfl.ch/~amin/dot/soundness_oopsla16.pdf), [code](http://oopsla16.namin.net))
- WadlerFest'16 ([PDF](http://infoscience.epfl.ch/record/215280/files/paper_1.pdf), [code](http://wadlerfest.namin.net))
- _From F to DOT_ ([PDF](http://arxiv.org/pdf/1510.05216.pdf), [code](http://github.com/TiarkRompf/minidot))
- OOPSLA'14 ([PDF](http://lampwww.epfl.ch/~amin/dot/fpdt_post.pdf), [code](http://oopsla14.namin.net))

0 comments on commit 6b36c46

Please sign in to comment.