Change IFL link to arxiv.

2015-03-18 11:02:12 -04:00 · 2015-03-18 11:02:12 -04:00 · cfd7a051e6
parent 4c3775592c
commit cfd7a051e6
1 changed files with 2 additions and 2 deletions
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@ -2013,9 +2013,9 @@ year = {2014}
  title     = {Really naturally linear indexed type-checking},
  booktitle = {Proceedings of Implementation of Functional Languages (IFL), Boston, Massachusetts},
  year      = {2014},
-  url       = {http://www.cis.upenn.edu/~justhsu/docs/dfuzztc.pdf},
+  url       = {http://arxiv.org/abs/1503.04522},
  jh        = yes,
-  docs      = yes,
+  eprint    = yes,
 }

@article{LovaszLocal,