José A. Alonso on Nostr: Typechecking of overloading in programming languages and mechanized mathematics. ~ ...
Published at
2025-01-03 08:31:10 UTCEvent JSON
{
"id": "f544efd2c64269f9ebf616c283c4949129a62e79f7d7671634e8512ce08103db",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1735893070,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"ocaml"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113763488272097430",
"activitypub"
]
],
"content": "Typechecking of overloading in programming languages and mechanized mathematics. ~ Arthur Charguéraud, Martin Bodin, Louis Riboulet. https://inria.hal.science/hal-04859446/document #OCaml #FunctionalProgramming",
"sig": "0cf422b1c8eda6c615ee60b7523f99160ca444e908e4452d23c48da30668078e2832a4cf08c3e16ebc39bb923838b15c1f22383519ebb5017729b177ef7be922"
}
