BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ahmed:Amal_J=

Contributed to:

ESOP 20062006
ICFP 20052005
TLCA 20052005
LICS 20032003
LICS 20022002

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.
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–?.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.