+<ul><li>
+ <b>Later Credits: Resourceful Reasoning for the Later Modality</b><br/>
+ Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer <br>
+ <i>In <a href="https://icfp22.sigplan.org/">ICFP 2022</a></i><br>
+ [<a href="https://plv.mpi-sws.org/later-credits/paper-later-credits.pdf">paper</a>] [<a href="https://plv.mpi-sws.org/later-credits/">paper website</a> (incl. Coq formalization)]
+</li></ul>
+