From post

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.

 

Другие публикации лиц с тем же именем

Efficient Static Analysis of Marlowe Contracts., , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 161-177. Springer, (2020)Modelling Reactive Multimedia: Design and Authoring., , и . Multimedia Tools Appl., 27 (1): 23-52 (2005)Functional Programming Through the Curriculum., и . FPLE, том 1022 из Lecture Notes in Computer Science, стр. 85-102. Springer, (1995)Integrating Computer Algebra and Reasoning through the Type System of Aldor., и . FroCoS, том 1794 из Lecture Notes in Computer Science, стр. 136-150. Springer, (2000)Functional Programming in Education - Introduction., и . J. Funct. Program., 3 (1): 3-4 (1993)Clone detection and elimination for Haskell., и . PEPM, стр. 111-120. ACM, (2010)A Power Management Architecture for Sensor Nodes., , , , и . WCNC, стр. 3008-3013. IEEE, (2007)From ACT-ONE to Miranda, a translation experiment., , и . Comput. Stand. Interfaces, 19 (1): 31-49 (1998)Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7.. J. Funct. Program., (2016)Standardized Crypto-Loans on the Cardano Blockchain., , , и . Financial Cryptography Workshops, том 12676 из Lecture Notes in Computer Science, стр. 579-594. Springer, (2021)