Suivre
Orestis Melkonian
Orestis Melkonian
Input Output (IOG/IOHK)
Adresse e-mail validée de iohk.io - Page d'accueil
Titre
Citée par
Citée par
Année
The extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, ...
Financial Cryptography and Data Security: FC 2020 International Workshops …, 2020
712020
Having fun in learning formal specifications
W Prasetya, C Leek, O Melkonian, J ten Tusscher, J van Bergen, ...
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
202019
Native custom tokens in the extended UTXO model
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
International Symposium on Leveraging Applications of Formal Methods, 89-111, 2020
152020
UTXO: UTXO with Multi-asset Support
MMT Chakravarty, J Chapman, K MacKenzie, O Melkonian, J Müller, ...
International symposium on leveraging applications of formal methods, 112-130, 2020
112020
Reconciling event structures with modern multiprocessors
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
112019
Music as language: putting probabilistic temporal graph grammars to good use
O Melkonian
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art …, 2019
92019
What constitutes a musical pattern?
O Melkonian, IY Ren, W Swierstra, A Volk
Proceedings of the 7th ACM SIGPLAN International Workshop on functional art …, 2019
72019
Formal investigation of the Extended UTxO model
O Melkonian, W Swierstra, MM Chakravarty
4th ACM SIGPLAN International Workshop on Type-Driven Development (TyDe …, 2019
32019
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs
J Cockx, O Melkonian, L Escot, J Chapman, U Norell
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 108-122, 2022
22022
Reconciling Event Structures with Modern Multiprocessors (Artifact).
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
Dagstuhl Artifacts Ser. 6 (2), 04:1-04:3, 2020
22020
Extending Intermediate Memory Model with SC accesses
A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
Technical report. Available at: http://plv. mpi-sws. org/imm/immsctr. pdf, 2019
22019
Towards a 2-Multiple Context-Free grammar for the 3-dimensional Dyck language
K Kogkalidis, O Melkonian
At the Intersection of Language, Logic, and Information: ESSLLI 2018 Student …, 2019
22019
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming
O Melkonian, A Charalambidis
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and …, 2018
22018
Formalizing Extended UTxO and BitML Calculus in Agda
O Melkonian
12019
D3 as a 2-MCFL
K Kogkalidis, O Melkonian
Student Session Proceedings of the 30th European Summer School in Logic …, 2018
1*2018
Learning Structure-Aware Representations of Dependent Types
K Kogkalidis, O Melkonian, JP Bernardy
arXiv preprint arXiv:2402.02104, 2024
2024
Program logics for ledgers
O Melkonian, W Swierstra, J Chapman
29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0
Nominal techniques as an Agda library
MJ Gabbay, O Melkonian
29th International Conference on Types for Proofs and Programs TYPES 2023 …, 0
Towards Impredicative Types for GHC
O MELKONIAN
Formalizing BitML Calculus in Agda
O MELKONIAN
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20