Vincent Tourneur

According to our database, Vincent Tourneur authored at least 2 papers between 2018 and 2024.

Collaborative distances:

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

2024

ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars.

Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur

Proceedings of the Functional and Logic Programming - 17th International Symposium, 2024

2018

A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers.

Sylvie Boldo, Florian Faissole, Vincent Tourneur

Proceedings of the 25th IEEE Symposium on Computer Arithmetic, 2018