`Travelled to:`

1 × Austria

1 × Canada

1 × Denmark

1 × Estonia

1 × Japan

`Collaborated with:`

M.Fluet G.Morrisett ∅ L.Jia D.Walker A.W.Appel R.Virga

`Talks about:`

stratifi (2) general (2) semant (2) linear (2) refer (2) index (2) step (2) substructur (1) quantifi (1) hierarch (1)

## Person: Amal J. Ahmed

### DBLP: Ahmed:Amal_J=

### Contributed to:

### Wrote 6 papers:

- ESOP-2006-Ahmed #logic #quantifier #recursion
- Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types (AJA), pp. 69–83.
- ESOP-2006-FluetMA #linear
- Linear Regions Are All You Need (MF, GM, AJA), pp. 7–21.
- ICFP-2005-AhmedFM
- A step-indexed model of substructural state (AJA, MF, GM), pp. 78–91.
- TLCA-2005-MorrisettAF #linear #named
- L3: A Linear Language with Locations (GM, AJA, MF), pp. 293–307.
- LICS-2003-AhmedJW #reasoning
- Reasoning about Hierarchical Storage (AJA, LJ, DW), pp. 33–44.
- LICS-2002-AhmedAV #semantics
- A Stratified Semantics of General References A Stratified Semantics of General References (AJA, AWA, RV), p. 75–?.