( en | de | ru )

 

Disambiguation of "Ahmed, Amal"

Author of the publication

copydeleteadd this publication to your clipboard
Gradual type theory.

, , and . Proc. ACM Program. Lang., 3 (POPL): 15:1-15:31 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Domenico Amalfitano

Linda Amalou-Döpke

Edward Prabu Amaladass

Alain-René Amalric

Amal Alkahlout

 

Other publications of authors with the same name

The next 700 compiler correctness theorems (functional pearl)., and . Proc. ACM Program. Lang., 3 (ICFP): 85:1-85:29 (2019)Type-preserving CPS translation of Σ and Π types is not not possible., , , and . Proc. ACM Program. Lang., 2 (POPL): 22:1-22:33 (2018)Lilac: a Modal Separation Logic for Conditional Probability., , and . CoRR, (2023)Logical relations for fine-grained concurrency., , , , and . POPL, page 343-356. ACM, (2013)ANF preserves dependent types up to extensional equality., , , and . J. Funct. Program., (2022)Noninterference for free., and . ICFP, page 101-113. ACM, (2015)Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 16-31. Springer, (2008)Abstract Predicates and Mutable ADTs in Hoare Type Theory., , , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 189-204. Springer, (2007)Verified Compilers for a Multi-Language World.. SNAPL, volume 32 of LIPIcs, page 15-31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Logical Step-Indexed Logical Relations., , and . LICS, page 71-80. IEEE Computer Society, (2009)