Thaïs Baudon

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 4

Top Topics

Complex Data Types

Top Venues

Proc. ACM Program. Lang.

Publications

Thaïs Baudon, Gabriel Radanne, Laure Gonnord
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
On Complexity Bounds and Confluence of Parallel Term Rewriting. CoRR (2023)
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
Analysing Parallel Complexity of Term Rewriting. CoRR (2022)
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
Analysing Parallel Complexity of Term Rewriting. LOPSTR (2022)