( en | de | ru )

 

Disambiguierung von "Ghica, Dan R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards native higher-order remote procedure calls.

, , und . IFL, Seite 10:1-10:12. ACM, (2014)

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.

Dan Tidten

Dan Bauer

Marius Dan

Dan Wang

Dan Brüllmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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