José A. Alonso on Nostr: QuickSub: Efficient iso-recursive subtyping. ~ Litao Zhou, Bruno C.D.S. Oliveira. ...
Published at
2024-12-05 12:23:42 UTCEvent JSON
{
"id": "777cf5b0d0575be3c51c4c173f43eb7868bb6b97c9db1c69baf8258e814dba4d",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1733401422,
"kind": 1,
"tags": [
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113600195636776689",
"activitypub"
]
],
"content": "QuickSub: Efficient iso-recursive subtyping. ~ Litao Zhou, Bruno C.D.S. Oliveira. https://ltzhou.com/static/POPL25extended.pdf #ITP #Coq #Rocq",
"sig": "0583909c28779f2918a4fea9195f572b9909dc67475dfbea554d7878ddbdde0366995a023e7426e9cf65dc2e335b66a7aaec9e821c015f99037d1573133a852b"
}
