Delphine Demange

Identifiers

• name variant Delphine Demange 0.60 · backfill

Papers (1)

1. A Verified Information-Flow Architecture cs.PL · 2015 · author #4

Mentions

• 1509.06503 #4 · backfill · confidence 0.70 Delphine Demange

Frequent Coauthors

• Andr\'e DeHon 1 shared papers
• Andrew Tolmach 1 shared papers
• Arthur Azevedo de Amorim 1 shared papers
• Benjamin C. Pierce 1 shared papers
• Catalin Hritcu 1 shared papers
• David Pichardie 1 shared papers
• Nathan Collins 1 shared papers
• Randy Pollack 1 shared papers