IOHK |
Library
Library > Orestis Melkonian
Orestis Melkonian
Learning Structure-Aware Representations of Dependent Types
Konstantinos Kogkalidis,Orestis Melkonian,Jean-Philippe Bernardy
December 2024, To appear in: NeurIPS '24
The Extended UTXO Model
Manuel Chakravarty,James Chapman,Kenneth MacKenzie,Orestis Melkonian,Michael Peyton Jones,Prof Philip Wadler
February 2020, Workshop on Trusted Smart Contracts (Financial Cryptography 2020)