Searching for authors named "Amal Ahmed" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
- …Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types Amal Ahmed Harvard…
- Cited by 33 (7 self) – Add To MetaCart
-
A step-indexed model of substructural state
- …Abstract A Step-Indexed Model of Substructural State Amal Ahmed Harvard University amal…
- Cited by 6 (4 self) – Add To MetaCart
-
TEACHING EXPERIENCE
- …Amal Ahmed Toyota Technological Institute at Chicago 6045 S. Kenwood Avenue Chicago, IL 60637 +1…
- Add To MetaCart
-
The Logical Approach to Stack Typing
- ….00. Amal Ahmed David Walker Department of Computer Science, Princeton University 35 Olden Street, Princeton…
- Cited by 21 (4 self) – Add To MetaCart
-
A.: Parametric polymorphism through run-time sealing, or, theorems for low, low prices! (extended version
- … 1 and Amal Ahmed 2 1 University of Chicago jacobm@(email omitted); 2 Toyota Technological Institute…
- Cited by 3 (2 self) – Add To MetaCart
-
Typed closure conversion preserves observational equivalence
- …Typed Closure Conversion Preserves Observational Equivalence Amal Ahmed Matthias Blume Toyota…
- Cited by 5 (2 self) – Add To MetaCart
-
Linear Regions Are All You Need
- …Linear Regions Are All You Need Matthew Fluet 1 , Greg Morrisett 2 , and Amal Ahmed 2 1 Cornell…
- Cited by 3 (1 self) – Add To MetaCart
-
Abstract predicates and mutable ADTs in Hoare type theory
- …Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg…
- Cited by 24 (11 self) – Add To MetaCart
-
Reasoning about Hierarchical Storage
- … Hierarchical Storage Amal Ahmed Limin Jia David Walker Princeton University {amal…
- Cited by 20 (6 self) – Add To MetaCart
-
Semantics of Types for Mutable State
- …Semantics of Types for Mutable State Amal Jamil Ahmed A Dissertation Presented to the Faculty…
- Cited by 20 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
