Josué Moreau -

Registered user since Mon 24 Jun 2024

Name:Josué Moreau

Country:France

Affiliation:Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria

Contributions

2024

ICFP

Author of A Safe Low-level Language for Computer Algebra and its Formally Verified Compiler within the Artifact Evaluation-track
Author of A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler within the ICFP Papers and Events-track