José A. Alonso on Nostr: On the correctness of Barron and Strachey’s cartesian product function. ~ Wouter ...
Published at
2025-01-11 07:44:46Event JSON
{
"id": "9d80e01d2eb9656006234fde3a59b5279f7e64e0ccb94cd444326cf451cfefbd",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736581486,
"kind": 1,
"tags": [
[
"t",
"agda"
],
[
"t",
"itp"
],
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113808604306173033",
"activitypub"
]
],
"content": "On the correctness of Barron and Strachey’s cartesian product function. ~ Wouter Swierstra, Jason Hemann. https://trendsfp.github.io/abstracts/paper-006.pdf #Haskell #FunctionalProgramming #ITP #Agda",
"sig": "1a2dc8db696956cec22149d876386850812a7431a136ed85cd27d6c585ec498d34754bee7f4603483e0617764ca601f9c224a4f9400fc3de27d323c8760f035c"
}
