Follow
Nicolas Lagaillardie
Nicolas Lagaillardie
Doctorant
Verified email at ic.ac.uk
Title
Cited by
Cited by
Year
Implementing multiparty session types in rust
N Lagaillardie, R Neykova, N Yoshida
International Conference on Coordination Languages and Models, 127-136, 2020
332020
Stay safe under panic: Affine rust programming with multiparty session types
N Lagaillardie, R Neykova, N Yoshida
arXiv preprint arXiv:2204.13464, 2022
252022
A computational study on fairness of the tendermint blockchain protocol
N Lagaillardie, MA Djari, Ö Gürcan
Information 10 (12), 378, 2019
202019
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact)
N Lagaillardie, R Neykova, N Yoshida
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–4