• Sign in
  • Sign up
conf.researchr.org / Orestis Melkonian
  • ICFP 2019 profile
  • ICSE 2019 profile
  • SPLASH 2018 profile
  • SPLASH 2020 profile
Orestis Melkonian

Registered user since Sat 16 Jan 2016

Name: Orestis Melkonian

Country: Greece

Affiliation: Utrecht University

Personal website: http://omelkonian.github.io

Research interests: Programming Languages, Functional programming, Type Systems, Formal Verification, Compilers, Static Analysis, Category Theory, Theorem Proving, Algorithmic Music

Contributions

ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track
Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track
FARM 2019 Author of Music as Language: Putting Probabilistic Temporal Graph Grammars to Good Use within the FARM 2019-track
Author of What Constitutes a Musical Pattern? within the FARM 2019-track
TyDe 2019 Author of Formal Investigation of the Extended UTxO Model within the TyDe 2019-track
REBLS 2018 Author of RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming within the REBLS 2018-track
ICSE 2019 Author of Having Fun in Learning Formal Specifications within the Software Engineering Education and Training -track

Share
xSat 27 Feb 14:24
using conf.researchr.org (v1.42.1)
Support page
Sign Up