Search the dblp DataBase

Publications of Author

1. James Cheney, Amal Ahmed, Umut A. Acar
   Provenance as Dependency Analysis. [Citation Graph (0, 0)][DBLP]
   DBPL, 2007, pp:138-152 [Conf]
   
2. Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal
   Abstract Predicates and Mutable ADTs in Hoare Type Theory. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:189-204 [Conf]
   
3. James Cheney, Amal Ahmed, Umut A. Acar
   Provenance as Dependency Analysis [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
4. Amal Ahmed, Matthew Fluet, Greg Morrisett
   L³: A Linear Language with Locations. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2007, v:77, n:4, pp:397-449 [Journal]
   
5. 
   08061 Executive Summary -- Types, Logics and Semantics for State. [Citation Graph (, )][DBLP]
   
   
6. 
   08061 Abstracts Collection -- Types, Logics and Semantics for State. [Citation Graph (, )][DBLP]
   
   
7. 
   Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. [Citation Graph (, )][DBLP]
   
   
8. 
   Typed closure conversion preserves observational equivalence. [Citation Graph (, )][DBLP]
   
   
9. 
   Logical Step-Indexed Logical Relations. [Citation Graph (, )][DBLP]
   
   
10. 
    Imperative self-adjusting computation. [Citation Graph (, )][DBLP]
    
    
11. 
    State-dependent representation independence. [Citation Graph (, )][DBLP]
    
    
12. 
    Provenance Traces [Citation Graph (, )][DBLP]