Orestis Melkonian

According to our database1, Orestis Melkonian authored at least 15 papers between 2018 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Learning Structure-Aware Representations of Dependent Types.
CoRR, 2024

Structured Contracts in the EUTxO Ledger Model.
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2022
Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs.
Proceedings of the Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15, 2022

2020
Reconciling Event Structures with Modern Multiprocessors (Artifact).
Dagstuhl Artifacts Ser., 2020

UTXO<sub>sf ma</sub>: UTXO with Multi-asset Support.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.
Proceedings of the Financial Cryptography and Data Security, 2020

Reconciling Event Structures with Modern Multiprocessors.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Having Fun in Learning Formal Specifications.
CoRR, 2019

Having fun in learning formal specifications.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

What constitutes a musical pattern?
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

Music as language: putting probabilistic temporal graph grammars to good use.
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, 2019

2018
RHEA: a reactive, heterogeneous, extensible, and abstract framework for dataflow programming.
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language.
Proceedings of the At the Intersection of Language, Logic, and Information, 2018


  Loading...