( en | de | ru )

 

Disambiguierung von "Sheeran, Mary"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synchron - An API and Runtime for Embedded Systems.

, , und . ECOOP, Volume 222 von LIPIcs, Seite 17:1-17:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

Mary Sheeran

Georg Mary

Thomas Marycz

Melanie Marysko

Boris Maryasin

 

Weitere Publikationen von Autoren mit dem selben Namen

Hailstorm : A Statically-Typed, Purely Functional Language for IoT Applications., und . CoRR, (2021)Deriving Bit-Serial Circuits in Ruby., und . VLSI, Volume A-1 von IFIP Transactions, Seite 71-80. North-Holland, (1991)Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage., , , und . FHPNC@ICFP, Seite 34-46. ACM, (2019)Higher-order concurrency for microcontrollers., , , und . MPLR, Seite 26-35. ACM, (2021)Synchron - An API and Runtime for Embedded Systems., , und . ECOOP, Volume 222 von LIPIcs, Seite 17:1-17:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Note on Abstraction in Ruby.. Functional Programming, Seite 332-338. Springer, (1991)Efficient GPU Implementation of Affine Index Permutations on Arrays., und . FHPNC, Seite 15-28. ACM, (2023)Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications., und . PPDP, Seite 12:1-12:16. ACM, (2020)A Tutorial on St\aalmarck's Proof Procedure for Propositional Logic, und . Proceedings 2nd Intl.\ Conf.\ on Formal Methods in Computer-Aided Design, FMCAD'98, Palo Alto, CA, USA, 4--6 Nov 1998, Springer-Verlag, Berlin, (1998)