( en | de | ru )

 

Disambiguation of "Chakravarty, Manuel M. T."

Author of the publication

copydeleteadd this publication to your clipboard
Fast Isomorphic State Channels.

, , , , , , and . Financial Cryptography (2), volume 12675 of Lecture Notes in Computer Science, page 339-358. Springer, (2021)

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)Babel Fees via Limited Liabilities., , , , and . ACNS, volume 13269 of Lecture Notes in Computer Science, page 707-726. Springer, (2022)GOFFIN: Higher-Order Functions Meet Concurrent Constraints., , and . CCP, page 6:1-6:15. INRIA Rocquencourt, (1995)UTXOsf ma: UTXO with Multi-asset Support., , , , , , , , and . ISoLA (3), volume 12478 of Lecture Notes in Computer Science, page 112-130. Springer, (2020)Structured Contracts in the EUTxO Ledger Model., , , , , , , and . FMBC@CAV, volume 118 of OASIcs, page 10:1-10:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)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)Babel Fees via Limited Liabilities., , , , and . CoRR, (2021)Translation Certification for Smart Contracts., , , and . FLOPS, volume 13215 of Lecture Notes in Computer Science, page 94-111. Springer, (2022)