Talia Ringer on Nostr: Our paper "Correctly Compiling Proofs About Programs Without Proving Compilers ...
Our paper "Correctly Compiling Proofs About Programs Without Proving Compilers Correct" by Audrey Seo*, Christopher Lam*, Dan Grossman, and Talia Ringer will appear in ITP 2024! Preprint:
https://dependenttyp.es/pdf/potpie.pdf* co-first authors
Published at
2024-06-12 12:06:54Event JSON
{
"id": "85f69403770bdc14778eaea011e48ebf9be83e80f3a933de00683ec4a10272ba",
"pubkey": "65b914e759ba52e206fb13ea5f7915b959e88428b0b3b8ae7d987410d536cce6",
"created_at": 1718194014,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/TaliaRinger/statuses/112603562939779795",
"activitypub"
]
],
"content": "Our paper \"Correctly Compiling Proofs About Programs Without Proving Compilers Correct\" by Audrey Seo*, Christopher Lam*, Dan Grossman, and Talia Ringer will appear in ITP 2024! Preprint: https://dependenttyp.es/pdf/potpie.pdf\n\n* co-first authors",
"sig": "c539c11078dfeb173469e8a7765bf7e58343295acf2331c620f773977eb9748e4a3bb405f24dc4d1dfaaaee36f3bf1385910e99e8485b9595ceffca1535a8d11"
}
