Denis Carnier

According to our database, Denis Carnier authored at least 2 papers between 2024 and 2026.

Collaborative distances:

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

2026

Cerisier: A Program Logic for Attestation in a Capability Machine.

June Rousseau, Denis Carnier, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese, Lars Birkedal

CoRR, April, 2026

2024

Type Inference Logics.

Denis Carnier, François Pottier, Steven Keuchel

Proc. ACM Program. Lang., 2024