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, Dependent Types, Static Analysis, Category Theory, Theorem Proving, Algorithmic Music

Contributions

Haskell 2022 Demos
Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
ICFP 2022 United Kingdom in Evaluators within the Artifact Evaluation-track
Show activities from other conferences

ICFP 2022-profile
View general profile