Author of the publication

Composable Memory Transactions for Java Using a Monadic Intermediate Language.

, , , , and . SBLP, volume 9325 of Lecture Notes in Computer Science, page 128-142. Springer, (2015)

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

Composable Memory Transactions for Java Using a Monadic Intermediate Language., , , , and . SBLP, volume 9325 of Lecture Notes in Computer Science, page 128-142. Springer, (2015)AsyncRFJ: an asynchronous approach to reactive object-oriented programming., , and . SBLP, page 35-42. ACM, (2018)From Symmetric Pattern-Matching to Quantum Control., , and . FoSSaCS, volume 10803 of Lecture Notes in Computer Science, page 348-364. Springer, (2018)A monadic semantics for quantum computing in an object oriented language., , , and . Sci. Comput. Program., (2019)Typed context awareness Ambient Calculus for pervasive applications., , and . Formal Aspects Comput., 27 (5-6): 885-916 (2015)FJQuantum - A Quantum Object Oriented Language., , , and . WEIT, volume 324 of Electronic Notes in Theoretical Computer Science, page 67-77. Elsevier, (2015)A Double Effect λ-calculus for Quantum Computation., , and . SBLP, volume 8129 of Lecture Notes in Computer Science, page 61-74. Springer, (2013)Aplicando o OntoHealth para o Processamento e Consultas de Ontologias para Ambientes Hospitalares Pervasivos., , , , , and . Braz. J. Inf. Syst., (2009)Reasoning about General Quantum Programs over Mixed States., , and . SBMF, volume 5902 of Lecture Notes in Computer Science, page 321-335. Springer, (2009)The Arrow Calculus as a Quantum Programming Language., , and . WoLLIC, volume 5514 of Lecture Notes in Computer Science, page 379-393. Springer, (2009)