José A. Alonso on Nostr: Efficient, portable, census-polymorphic choreographic programming. ~ Mako Bates, Shun ...
Efficient, portable, census-polymorphic choreographic programming. ~ Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near.
https://arxiv.org/abs/2412.02107 #Haskell #FunctionalProgramming
Published at
2024-12-08 07:57:26 UTCEvent JSON
{
"id": "6bf6f22b71f783ca133db254eacbbc6f494d63bd59419b52f90e80d79b1656bf",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1733644646,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113616135534291020",
"activitypub"
]
],
"content": "Efficient, portable, census-polymorphic choreographic programming. ~ Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near. https://arxiv.org/abs/2412.02107 #Haskell #FunctionalProgramming",
"sig": "c4295144efed7cd646059614ff1119924a9cf96c07073a96038068a06d06e24030672f98a40a03da7b057cd085173a24484bfb68c22154e62ee12b3264f8c0fe"
}
