Nicolas Chataing

According to our database, Nicolas Chataing authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

2024

Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.

Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop

Proc. ACM Program. Lang., January, 2024

2021

Catala: a programming language for the law.

Denis Merigoux, Nicolas Chataing, Jonathan Protzenko

Proc. ACM Program. Lang., 2021