it's ICFP 2016
authorRalf Jung <post@ralfj.de>
Fri, 1 Jul 2016 12:18:43 +0000 (14:18 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 1 Jul 2016 12:18:43 +0000 (14:18 +0200)
research/publications.html

index 0140db2a210332d3e8eb1d49c532bfd8989becbf..e8cb3249d08c0e626285049ae3e2e84589383364 100644 (file)
@@ -8,7 +8,7 @@ slug: Publications
 <ul><li>
   <b>Higher-Order Ghost State</b><br/>
   Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer<br>
 <ul><li>
   <b>Higher-Order Ghost State</b><br/>
   Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer<br>
-  In <a href="http://conf.researchr.org/home/icfp-2016">ICFP 2015</a>: 21st ACM SIGPLAN International Conference on Functional Programming<br>
+  In <a href="http://conf.researchr.org/home/icfp-2016">ICFP 2016</a>: 21st ACM SIGPLAN International Conference on Functional Programming<br>
   [<a href="http://plv.mpi-sws.org/iris/hogs.pdf">paper</a>]
 </li></ul>
 
   [<a href="http://plv.mpi-sws.org/iris/hogs.pdf">paper</a>]
 </li></ul>