Vérification des résultats de l'inférence de types du langage OCaml. (Checking type inference results of the OCaml language). - Pierrick Couderc (2018)

Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos. - Mathias Bourgoin; Arthur Breitman; Pierrick Couderc; Zaynah Dargaye; Diane Gallois-Wong; Marina Polubelova; Lucas Randazzo; Julien Tesson (CoRR, 2026)