ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Orestis Melkonian

Registered user since Sat 16 Jan 2016

Name:Orestis Melkonian
Country:United Kingdom
Affiliation:University of Edinburgh
Research interests:Programming Languages, Functional programming, Type Systems, Formal Verification, Compilers, Static Analysis, Category Theory, Theorem Proving, Algorithmic Music


ICFP 2022 United Kingdom in Evaluators within the Artifact Evaluation-track
Show activities from other conferences

Using general profile