Thaïs Baudon

According to our database, Thaïs Baudon authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types.

Thaïs Baudon, Gabriel Radanne, Laure Gonnord

Proc. ACM Program. Lang., August, 2023

On Complexity Bounds and Confluence of Parallel Term Rewriting.

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

CoRR, 2023

2022

Analysing Parallel Complexity of Term Rewriting.

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022