Josué Moreau

Orcid: 0009-0008-1189-3779

According to our database¹, Josué Moreau authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Programming language and formally verified compiler for low-level numerical libraries. (Langage de programmation et compilateur formellement vérifié pour les bibliothèques numériques de bas niveau).

[BibT_eX]

[DOI]

Josué Moreau

PhD thesis, 2025

2024

A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler.

[BibT_eX]

[DOI]

Guillaume Melquiond

Josué Moreau

Proc. ACM Program. Lang., 2024

Josué Moreau

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...