Noé De Santo

According to our database, Noé De Santo authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Rebound: Efficient, Expressive, and Well-Scoped Binding.

Noé De Santo, Stephanie Weirich

Proceedings of the 18th ACM SIGPLAN International Haskell Symposium, 2025

2024

A Coq Mechanization of JavaScript Regular Expression Semantics.

Noé De Santo, Aurèle Barrière, Clément Pit-Claudel

Proc. ACM Program. Lang., 2024