Author of the publication

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

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)C -> HASKELL, or Yet Another Interfacing Tool.. IFL, volume 1868 of Lecture Notes in Computer Science, page 131-148. Springer, (1999)Hydra: Fast Isomorphic State Channels., , , , , , and . IACR Cryptology ePrint Archive, (2020)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)C->Haskell, An Interface Generator for Haskell. (2005)