Alan Jeffrey

Identifiers

• name variant Alan Jeffrey 0.60 · backfill

Papers (4)

1. Josephine: Using JavaScript to safely manage the lifetimes of Rust data cs.PL · 2018 · author #1
2. A Model of Navigation History cs.SE · 2016 · author #2
3. Lambda-RBAC: Programming with Role-Based Access Control cs.PL · 2007 · author #2
4. Contextual equivalence for higher-order pi-calculus revisited cs.PL · 2005 · author #1

Mentions

• 0712.1205 #2 · backfill · confidence 0.70 Alan Jeffrey

Frequent Coauthors

• Connor G. Brewster 1 shared papers
• Corin Pitcher 1 shared papers
• James Riely 1 shared papers
• Julian Rathke 1 shared papers
• Radha Jagadeesan 1 shared papers