( en | de | ru )

 

Disambiguation of "Sabry, Amr"

Author of the publication

copydeleteadd this publication to your clipboard
From Reversible Programs to Univalent Universes and Back.

, , , and . CoRR, (2017)

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.

Mohamed Ashraf Sabry

Mohamed Ashraf Sabry

Sabry Youssef

Mohamed Ismail Sabry

Mohamed Ismail Sabry

 

Other publications of authors with the same name

From Reversible Programs to Univalent Universes and Back., , , and . CoRR, (2017)Lazy Evaluation and Delimited Control, , and . Logical Methods in Computer Science, (2010)Reasoning about Programs in Continuation-Passing Style., and . LISP Symb. Comput., 6 (3-4): 289-360 (1993)Reasoning About Programs in Continuation-Passing Style., and . LISP and Functional Programming, page 288-298. ACM, (1992)Monadic Encapsulation in ML., and . ICFP, page 8-17. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Lazy v. Yield: Incremental, Linear Pretty-Printing., , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 190-206. Springer, (2012)Isomorphic Interpreters from Logically Reversible Abstract Machines., and . RC, volume 7581 of Lecture Notes in Computer Science, page 57-71. Springer, (2012)From Symmetric Pattern-Matching to Quantum Control., , and . FoSSaCS, volume 10803 of Lecture Notes in Computer Science, page 348-364. Springer, (2018)With a Few Square Roots, Quantum Computing is as Easy as Π., , , and . CoRR, (2023)Reversible Communicating Processes., and . PLACES, volume 203 of EPTCS, page 45-59. (2015)