José A. Alonso on Nostr: Using GHC core to normalise student programs. ~ Matilda Blomqvist, Alex Gerdes. ...
Published at
2025-01-11 07:52:14Event JSON
{
"id": "04131050fb0fb10fca6f7b3c34d24ad29f035b1820ad884fd3ecbf9b5f46cde9",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736581934,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113808633643648016",
"activitypub"
]
],
"content": "Using GHC core to normalise student programs. ~ Matilda Blomqvist, Alex Gerdes. https://trendsfp.github.io/abstracts/paper-012.pdf #Haskell #FunctionalProgramming",
"sig": "1f3cd393be783e394dd9c4094bc32b2126f486c868e066a8eeec26cd1a2cf0268bbeba6f0d6224976020be35b827641f9f2a37137e51d12e53eef2dd360d1d00"
}
