Damien Doligez (Inria)

Identifiers

• name variant Damien Doligez (Inria) 0.60 · backfill

Papers (2)

1. Proceedings ML Family / OCaml Users and Developers workshops cs.PL · 2017 · author #2
2. Experience in using a typed functional language for the development of a security application cs.SE · 2014 · author #1

Mentions

• 1404.6606 #1 · backfill · confidence 0.70 Damien Doligez (Inria)

Frequent Coauthors

• Christ\`ele Faure (SafeRiver) 1 shared papers
• Jeremy Yallop (University of Cambridge) 1 shared papers
• Manuel Maarek (SafeRiver) 1 shared papers
• Th\'er\`ese Hardin (UPMC) 1 shared papers