( en | de | ru )

 

Disambiguierung von "Ahmed, Amal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Typed closure conversion for the calculus of constructions.

, und . PLDI, Seite 797-811. ACM, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Domenico Amalfitano

Linda Amalou-Döpke

Edward Prabu Amaladass

Alain-René Amalric

Amal Wicke

 

Weitere Publikationen von Autoren mit dem selben Namen

Lilac: A Modal Separation Logic for Conditional Probability., , und . Proc. ACM Program. Lang., 7 (PLDI): 148-171 (2023)Noninterference for free., und . ICFP, Seite 101-113. ACM, (2015)Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!., und . ESOP, Volume 4960 von Lecture Notes in Computer Science, Seite 16-31. Springer, (2008)Abstract Predicates and Mutable ADTs in Hoare Type Theory., , , und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 189-204. Springer, (2007)Logical Step-Indexed Logical Relations., , und . LICS, Seite 71-80. IEEE Computer Society, (2009)Logical relations for fine-grained concurrency., , , , und . POPL, Seite 343-356. ACM, (2013)Verified Compilers for a Multi-Language World.. SNAPL, Volume 32 von LIPIcs, Seite 15-31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Typed closure conversion preserves observational equivalence., und . ICFP, Seite 157-168. ACM, (2008)Fully abstract compilation via universal embedding., , und . ICFP, Seite 103-116. ACM, (2016)Linking Types for Multi-Language Software: Have Your Cake and Eat It Too., und . SNAPL, Volume 71 von LIPIcs, Seite 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)