( en | de | ru )

 

Disambiguation of "Chakravarty, Manuel M. T."

Author of the publication

copydeleteadd this publication to your clipboard
Translation Certification for Smart Contracts.

, , , and . FLOPS, volume 13215 of Lecture Notes in Computer Science, page 94-111. Springer, (2022)

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.

Manuel Chakravarty

Chakravarty Adusumalli

M t cet a

W M T Harshi Weerasinghe

Sven M B T Wolter

 

Other publications of authors with the same name

Distributed Haskell: Goffin on the Internet., , and . Fuji International Symposium on Functional and Logic Programming, page 80-97. World Scientific, Singapore, (1998)UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 112-130. Springer, (2020)GOFFIN: Higher-Order Functions Meet Concurrent Constraints., , and . CCP, page 6:1-6:15. INRIA Rocquencourt, (1995)Babel Fees via Limited Liabilities., , , , and . ACNS, volume 13269 of Lecture Notes in Computer Science, page 707-726. Springer, (2022)Hydra: Fast Isomorphic State Channels., , , , , , and . IACR Cryptology ePrint Archive, (2020)C -> HASKELL, or Yet Another Interfacing Tool.. IFL, volume 1868 of Lecture Notes in Computer Science, page 131-148. Springer, (1999)C->Haskell, An Interface Generator for Haskell. (2005)The Extended UTXO Model., , , , , and . Financial Cryptography Workshops, volume 12063 of Lecture Notes in Computer Science, page 525-539. Springer, (2020)Technical perspective: Can high performance be portable?. Commun. ACM, 61 (1): 105 (2018)Babel Fees via Limited Liabilities., , , , and . CoRR, (2021)