Amal J. Ahmed

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Amal J. Ahmed
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. ESOP (2006)
Matthew Fluet, Greg Morrisett, Amal J. Ahmed
Linear Regions Are All You Need. ESOP (2006)
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
: A Linear Language with Locations. TLCA (2005)
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
A step-indexed model of substructural state. ICFP (2005)
Amal J. Ahmed, Limin Jia, David Walker
Reasoning about Hierarchical Storage. LICS (2003)
Amal J. Ahmed, David Walker
The logical approach to stack typing. TLDI (2003)
Amal J. Ahmed, Andrew W. Appel, Roberto Virga
A Stratified Semantics of General References A Stratified Semantics of General References. LICS (2002)