Skip to content

Commit

Permalink
popl24 acceptance
Browse files Browse the repository at this point in the history
  • Loading branch information
cyrus- committed Nov 8, 2023
1 parent d939418 commit 61b21e2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion index.html
Original file line number Diff line number Diff line change
Expand Up @@ -313,7 +313,7 @@ <h2>Hazel</h2>
<h2>News and Publications</h2>
<div class="news-list">
<div class="date">Jan 2024</div>
<div class="news-text"><a href="https://popl24.sigplan.org/">POPL 2024</a> conditionally accepted <a href="./papers/marking-popl24.pdf">Total Type Error Localization and Recovery with Holes</a>
<div class="news-text"><a href="https://popl24.sigplan.org/">POPL 2024</a> accepted <a href="./papers/marking-popl24.pdf">Total Type Error Localization and Recovery with Holes</a>
describing a principled approach to localizing errors in ill-typed programs.</div>
<div class="date">Oct 2023</div>
<div class="news-text"><a href="https://2023.splashcon.org/">OOPSLA 2023</a> published <a
Expand Down

0 comments on commit 61b21e2

Please sign in to comment.