Amal Ahmed
North Eastern University
H-index: 35
Asia-Thailand
Top articles of Amal Ahmed
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly | arXiv preprint arXiv:2401.08287 | Zoe Paraskevopoulou Michael Fitzgibbons Michelle Thalakottur Noble Mushtak Jose Sulaiman Mazur | 2024/1/16 |
Linking Types: Technical Appendix | Daniel Patterson Andrew Wagner Amal Ahmed | 2023/7/17 | |
OPLSS 2023: Logical Relations | Amal Ahmed | 2023/6/27 | |
Lilac: a modal separation logic for conditional probability | John M. Li Amal Ahmed Steven Holtzen | 2023 | |
Semantic Encapsulation using Linking Types | Daniel Patterson Andrew Wagner Amal Ahmed | 2023/8/30 | |
Semantic soundness for language interoperability | Daniel Patterson Noble Mushtak Andrew Wagner Amal Ahmed | 2022/6/9 | |
ANF preserves dependent types up to extensional equality | Journal of Functional Programming | Paulette Koronkevich Ramon Rakow Amal Ahmed William J Bowman | 2022/1 |
Gradual type theory | Journal of Functional Programming | Max S New Daniel R Licata Amal Ahmed | 2021 |
Scalable Handling of Effects (Dagstuhl Seminar 21292) | Danel Ahman Amal Ahmed Sam Lindley Andreas Rossberg | 2021 |
Co-Authors
