Record · blog.sigplan.org
What Type Soundness Theorem Do You Really Want to Prove?
SIGPLAN Blog · 17 October 2019 · 9 min read
A post on blog.sigplan.org, published 17 October 2019, is cited by 2 distinct blogs to date (corpus.blog, measured 11 October 2026).
A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.
2blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 2 | 3 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| First cited | 4 Jul 2026 |
|---|---|
| Latest citation | 4 Jul 2026 |
| Words blogs link it with | 2 |
| External links | 20 |
| Length | 2,066 |
Words blogs link it with
The words blogs link this page with, by how many different blogs use them.
- encapsulating such code within safe apis1 blog
- “what type soundness theorem do you really want to prove?” on pl perspectives1 blog
Cited by 2 blogs in 3 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
Ralf's Ramblings2 posts
Undefined Behavior deserves a better reputation
linked as “encapsulating such code within safe APIs”
Read at ralfj.de (opens in a new tab)—
1 other post
https://www.ralfj.de/blog/
linked as ““What Type Soundness Theorem Do You Really Want to Prove?” on PL Perspectives”
Read at ralfj.de (opens in a new tab)—
Links from this post
Link
Host
courses.engr.illinois.edu
http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/Reynolds_typesabpara.pdf Who cites this page
cse.chalmers.se
https://www.sciencedirect.com/science/article/pii/S0890540184710935/pdfft?isDTMRedir=true&download=true Who cites this page
sciencedirect.com
cis.upenn.edu
oracle.com
iris-project.org
people.mpi-sws.org
iris-project.org
cs.princeton.edu
plv.mpi-sws.org
mpi-sws.org
distrinet.cs.kuleuven.be
robbertkrebbers.nl
mpi-sws.org
Something wrong here? Report a problem