( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Reversible Programs to Univalent Universes and Back.

, , , и . 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.

Mohamed Ashraf Sabry

Mohamed Ashraf Sabry

Sabry Youssef

Mohamed Ismail Sabry

Mohamed Ismail Sabry

 

Другие публикации лиц с тем же именем

From Reversible Programs to Univalent Universes and Back., , , и . CoRR, (2017)Lazy Evaluation and Delimited Control, , и . Logical Methods in Computer Science, (2010)Reasoning about Programs in Continuation-Passing Style., и . LISP Symb. Comput., 6 (3-4): 289-360 (1993)Reasoning About Programs in Continuation-Passing Style., и . LISP and Functional Programming, стр. 288-298. ACM, (1992)Monadic Encapsulation in ML., и . ICFP, стр. 8-17. ACM, (1999)SIGPLAN Notices 34(9), September 1999.Lazy v. Yield: Incremental, Linear Pretty-Printing., , и . APLAS, том 7705 из Lecture Notes in Computer Science, стр. 190-206. Springer, (2012)Isomorphic Interpreters from Logically Reversible Abstract Machines., и . RC, том 7581 из Lecture Notes in Computer Science, стр. 57-71. Springer, (2012)From Symmetric Pattern-Matching to Quantum Control., , и . FoSSaCS, том 10803 из Lecture Notes in Computer Science, стр. 348-364. Springer, (2018)With a Few Square Roots, Quantum Computing is as Easy as Π., , , и . CoRR, (2023)CPS in little pieces: composing partial continuations., и . J. Funct. Program., 12 (6): 617-622 (2002)