Thaïs Baudon

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

On Complexity Bounds and Confluence of Parallel Term Rewriting.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2024

2023

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., August, 2023

2022

Analysing Parallel Complexity of Term Rewriting.

[BibT_eX]

[DOI]

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