Pierrick Couderc

According to our database1, Pierrick Couderc authored at least 2 papers between 2018 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos.
CoRR, May, 2026

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


  Loading...