Nicolas Lagaillardie

According to our database, Nicolas Lagaillardie authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 2020

2019

A Computational Study on Fairness of the Tendermint Blockchain Protocol.

Nicolas Lagaillardie, Mohamed Aimen Djari, Önder Gürcan

Inf., 2019