--- a/README	Tue Oct 12 13:06:18 2010 +0100
+++ b/README	Wed Oct 13 22:55:58 2010 +0100
@@ -23,7 +23,7 @@
 Literature    ... some relevant papers about binders and
                   Core-Haskell
 
-Paper         ... submitted to POPL
+Paper         ... submitted to ESOP
 
 Pearl         ... accepted at ITP 
 Pearl-jv      ... journal version