Nathan Collins

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

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
• Delphine Demange 1 shared papers
• Randy Pollack 1 shared papers