<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>