Put proper name for IFL.

2015-12-17 22:24:33 +13:00 · 2015-12-17 22:24:33 +13:00 · 1145679e4d
parent 7b995ea23a
commit 1145679e4d
1 changed files with 2 additions and 1 deletions
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@ -125,7 +125,8 @@
               Gallego Arias, Emilio Jes{\'u}s and
               Hsu, Justin},
  title     = {Really naturally linear indexed type-checking},
-  booktitle = {Implementation of Functional Languages (IFL), Boston, Massachusetts},
+  booktitle = {Symposium on Implementation and Application of Functional
+    Programming Languages (IFL), Boston, Massachusetts},
  year      = {2014},
  url       = {http://arxiv.org/abs/1503.04522},
  jh        = yes,