Amal Ahmed

Identifiers

• name variant Amal Ahmed 0.60 · backfill

Papers (11)

1. Gradual Type Theory (Extended Version) cs.PL · 2018 · author #3
2. Typed Closure Conversion for the Calculus of Constructions cs.PL · 2018 · author #2
3. Graduality from Embedding-projection Pairs (Extended Version) cs.PL · 2018 · author #2
4. Rust Distilled: An Expressive Tower of Languages cs.PL · 2018 · author #3
5. Linking Types for Multi-Language Software: Have Your Cake and Eat It Too cs.PL · 2017 · author #2
6. FunTAL: Reasonably Mixing a Functional Language with Assembly cs.PL · 2017 · author #4
7. FabULous Interoperability for ML and a Linear Language cs.PL · 2017 · author #4
8. Database Queries that Explain their Work cs.PL · 2014 · author #2
9. A Core Calculus for Provenance cs.PL · 2013 · author #2
10. Provenance Traces cs.PL · 2008 · author #3
11. Provenance as Dependency Analysis cs.DB · 2007 · author #2

Mentions

• 1408.1675 #2 · backfill · confidence 0.70 Amal Ahmed
• 1310.6299 #2 · backfill · confidence 0.70 Amal Ahmed
• 0812.0564 #3 · backfill · confidence 0.70 Amal Ahmed
• 0708.2173 #2 · backfill · confidence 0.70 Amal Ahmed

Frequent Coauthors

• James Cheney 4 shared papers
• Daniel Patterson 3 shared papers
• Max S. New 2 shared papers
• Umut A. Acar 2 shared papers
• Umut Acar 2 shared papers
• Aaron Weiss 1 shared papers
• Christos Dimoulas 1 shared papers
• Daniel R. Licata 1 shared papers
• Gabriel Scherer 1 shared papers
• Jamie Perconti 1 shared papers
• Max New 1 shared papers
• Nick Rioux 1 shared papers
• Roly Perera 1 shared papers
• William J. Bowman 1 shared papers