Author of the publication

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.

 

Other publications of authors with the same name

Compiling Higher Order Functional Programs to Composable Digital Hardware., , , , , , and . FCCM, page 234. IEEE Computer Society, (2014)Syntactic Control of Concurrency., , and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 683-694. Springer, (2004)Reasoning about Idealized ALGOL Using Regular Languages., and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 103-115. Springer, (2000)Functorial String Diagrams for Reverse-Mode Automatic Differentiation., , , and . CoRR, (2021)Geometry of synthesis: a structured approach to VLSI design.. POPL, page 363-375. ACM, (2007)Angelic semantics of fine-grained concurrency., and . Ann. Pure Appl. Log., 151 (2-3): 89-114 (2008)Geometry of synthesis iv: compiling affine recursion into static hardware., , and . ICFP, page 221-233. ACM, (2011)Compositional Model Extraction for Higher-Order Concurrent Programs., and . TACAS, volume 3920 of Lecture Notes in Computer Science, page 303-317. Springer, (2006)Rewriting for Monoidal Closed Categories., , , and . FSCD, volume 228 of LIPIcs, page 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Global Optimisation with Constructive Reals., and . LICS, page 1-13. IEEE, (2021)