Author of the publication

Evaluating Scalable Distributed Erlang for Scalability and Reliability.

, , , , , , , , and . IEEE Trans. Parallel Distributed Syst., 28 (8): 2244-2257 (2017)

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

Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7.. J. Funct. Program., (2016)The Expressiveness of Spider Diagrams., , , and . J. Log. Comput., 14 (6): 857-880 (2004)Clone detection and elimination for Haskell., and . PEPM, page 111-120. ACM, (2010)Standardized Crypto-Loans on the Cardano Blockchain., , , and . Financial Cryptography Workshops, volume 12676 of Lecture Notes in Computer Science, page 579-594. Springer, (2021)From ACT-ONE to Miranda, a translation experiment., , and . Comput. Stand. Interfaces, 19 (1): 31-49 (1998)A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang., , and . TFP, volume 12222 of Lecture Notes in Computer Science, page 139-158. Springer, (2020)Characterising renaming within OCaml's module system: theory and implementation., , , and . PLDI, page 950-965. ACM, (2019)Marlowe: Implementing and Analysing Financial Contracts on Blockchain., , , and . Financial Cryptography Workshops, volume 12063 of Lecture Notes in Computer Science, page 496-511. Springer, (2020)Where Do I Begin? A Problem Solving Approach in teaching Functional Programming.. PLILP, volume 1292 of Lecture Notes in Computer Science, page 323-334. Springer, (1997)Erlang Behaviours: Programming with Process Design Patterns., and . CEFP, volume 6299 of Lecture Notes in Computer Science, page 19-41. Springer, (2009)