Record · iris-project.org
2018 popl runST final
PDF · https:/
iris-project.org
A page on iris-project.org is cited by 2 distinct blogs to date (corpus.blog, measured 12 October 2026).
A record is what was published and who pointed at it. corpus.blog does not hold this page: read it at the source, or at its Wayback capture.
Is this your blog?
iris-project.org is not yet a blog corpus.blog holds. 2 blogs cite it. If it is yours, claim it.
2blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 2 | 2 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| First cited | 17 Oct 2019 |
|---|---|
| Latest citation | 17 Oct 2019 |
| Words blogs link it with | 2 |
Words blogs link it with
The words blogs link this page with, by how many different blogs use them.
- machine-checked1 blog
- very recently verified1 blog
Cited by 2 blogs in 2 posts
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
Blog
Newest citing post
Date
SIGPLAN Blog1 post
What Type Soundness Theorem Do You Really Want to Prove?
linked as “machine-checked”
Read at blog.sigplan.org (opens in a new tab)17 Oct 2019
vaibhavsagar.com1 post
—
Something wrong with this page’s record? Report a problem with 2018 popl runST final