( en | de | ru )

 

Disambiguierung von "Downen, Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Closure Conversion in Little Pieces.

, , und . PPDP, Seite 10:1-10:13. ACM, (2023)

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.

Heinz Paulsen

Josef Paul

Klaus Paulus

Dieter Paulsen

Reinhold Paul

 

Weitere Publikationen von Autoren mit dem selben Namen

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