Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Coherent and Managed Runtime for ML on the SCC., , und . MARC@RWTH, Seite 20-35. RWTH Aachen University, (2012)Efficient sessions., , , , und . Sci. Comput. Program., 78 (2): 147-167 (2013)MultiMLton: A multicore-aware runtime for standard ML., , und . J. Funct. Program., 24 (6): 613-674 (2014)Eliminating read barriers through procrastination and cleanliness., , und . ISMM, Seite 49-60. ACM, (2012)Banyan: Coordination-Free Distributed Transactions over Mergeable Types., , , und . APLAS, Volume 12470 von Lecture Notes in Computer Science, Seite 231-250. Springer, (2020)Declarative programming over eventually consistent data stores., , und . PLDI, Seite 413-424. ACM, (2015)Retrofitting effect handlers onto OCaml., , , , , und . PLDI, Seite 206-221. ACM, (2021)Composable asynchronous events., , und . PLDI, Seite 628-639. ACM, (2011)Certified mergeable replicated data types., , , und . PLDI, Seite 332-347. ACM, (2022)Lightweight asynchrony using parasitic threads., , , und . DAMP, Seite 63-72. ACM, (2010)