From 1145679e4d4c7489b36b65803e1b39b3a09705ef Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Thu, 17 Dec 2015 22:24:33 +1300
Subject: [PATCH] Put proper name for IFL.

---
 bibs/myrefs.bib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 9d50fd5..9768f9d 100644
--- 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,