José A. Alonso on Nostr: A formalized programming language with speculative execution. ~ Jamie Wright & Andrei ...
Published at
2024-08-26 05:47:30Event JSON
{
"id": "ff09b67fcd40546396f31a9637adace6c7591bc490b56be2d51396e8540add12",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724651250,
"kind": 1,
"tags": [
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113026744371800346",
"activitypub"
]
],
"content": "A formalized programming language with speculative execution. ~ Jamie Wright \u0026 Andrei Popescu. https://www.isa-afp.org/entries/IMP_With_Speculation.html #ITP #IsabelleHOL",
"sig": "ab7151b211db172f41c336f23fd3a42e235f9f291a0e896bbe8aad97b0492eba6191a32435bfa5c51f5f3e4c5b6751bf1eb0e5429a246f291fa9651e5a1e86f3"
}
