Nicolas Chataing

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Database Languages

Programming Language

Denotational Semantics

General Purpose

Top Venues

Proc. ACM Program. Lang.

Publications

Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. Proc. ACM Program. Lang. 8 (POPL) (2024)
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed data constructors - or, how cpp decides a halting problem. CoRR (2023)
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
Catala: A Programming Language for the Law. CoRR (2021)
Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
Catala: a programming language for the law. Proc. ACM Program. Lang. 5 (ICFP) (2021)