( en | de | ru )

 

Disambiguation of "Downen, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Strictly capturing non-strict closures.

, , and . PEPM@POPL, page 74-89. ACM, (2021)

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.

Josef Paul

Klaus Paulus

Erich Paulke

Barbara Paulick

Maria Paul-Mengelberg

 

Other publications of authors with the same name

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