We stand with Ukraine  

Thomas Bagrel

Orcid: 0009-0008-8700-2741

According to our database1, Thomas Bagrel authored at least 4 papers between 2023 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings.
[BibTeX]
[DOI]
Thomas Bagrel
CoRR, January, 2026

2025
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings. (Formalisation et implémentation de techniques sûres pour la programmation par passage de destinations dans les contextes fonctionnels purs).
[BibTeX]
[DOI]
Thomas Bagrel
PhD thesis, 2025

Destination Calculus: A Linear 𝜆-Calculus for Purely Functional Memory Writes.
[BibTeX]
[DOI]
Thomas Bagrel
,
Arnaud Spiwack
Proc. ACM Program. Lang., 2025

2023
Destination-passing style programming: a Haskell implementation.
[BibTeX]
[DOI]
Thomas Bagrel
CoRR, 2023


  Loading...