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:
2006
2005
2005
20032002Wrote 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–?.