( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Codata in Action.

, , , и . ESOP, том 11423 из Lecture Notes in Computer Science, стр. 119-146. Springer, (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.

Christian Paul

Jean Paul

Gabriele Paulix

Pauli Paul

Eva-Maria Paul

 

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

A Systematic Approach to Delimited Control with Multiple Prompts., и . ESOP, том 7211 из Lecture Notes in Computer Science, стр. 234-253. Springer, (2012)Classical (Co)Recursion: Mechanics., и . CoRR, (2021)A Computational Understanding of Classical (Co)Recursion., и . PPDP, стр. 5:1-5:13. ACM, (2020)Compiling With Classical Connectives., и . Log. Methods Comput. Sci., (2020)The Duality of Classical Intersection and Union Types., , и . Fundam. Informaticae, 170 (1-3): 39-92 (2019)Duality in Action (Invited Talk)., и . FSCD, том 195 из LIPIcs, стр. 1:1-1:32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Strictly capturing non-strict closures., , и . PEPM@POPL, стр. 74-89. ACM, (2021)Making a faster Curry with extensional types., , , и . Haskell@ICFP, стр. 58-70. ACM, (2019)Uniform Strong Normalization for Multi-discipline Calculi., , и . WRLA@ETAPS, том 11152 из Lecture Notes in Computer Science, стр. 205-225. Springer, (2018)Continuations, Processes, and Sharing., , , и . PPDP, стр. 69-80. ACM, (2014)