conf.researchr.org / Klara Mardirosian
Klara Mardirosian

Registered user since Sat 17 Aug 2019

Name: Klara Mardirosian

Country: Belgium

Affiliation: KU Leuven

Contributions

ICFP 2019Author of Coherence of Type Class Resolution within the Research Papers-track
TTT 2017Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track