yosh on Nostr: Ohh, this looks neat! “Program logics a la Carte” - POPL-accepted paper from Ralf ...
Published at
2025-01-20 02:17:12Event JSON
{
"id": "5584f19e557cbb10754af26b016cc72eb1f5cd9e79b93aa1e6e525a58bb9c078",
"pubkey": "e1f48d2f077b0d512e8666bf7a0dddded2e443d99b0c92cecf577b4e50b86563",
"created_at": 1737339432,
"kind": 1,
"tags": [
[
"proxy",
"https://toot.yosh.is/users/yosh/statuses/113858277025079048",
"activitypub"
]
],
"content": "Ohh, this looks neat! “Program logics a la Carte” - POPL-accepted paper from Ralf Jung’s group at Eth Zurich\n\nhttps://plf.inf.ethz.ch/research/popl25-itree-program-logic.html",
"sig": "f74ca197575c65171364b488be1787937f1d9df9b9e0ed9963fe44cdf41ca0447816a08ba61864c1bdea9e7e6ab36891061ded6401890e5552559a99feac2429"
}
