Write a Blog >>
Julia Belyakova

Registered user since Wed 13 Jan 2016

Name:Julia Belyakova
Affiliation:Southern Federal University
Research interests:Type Theory, Programming Languages, Generic Programming, Compiler Construction, (C++) Concepts, Software Testing


FTfJP 2017 Generic Approach to Certified Static Checking of Module-like Constructs
ECOOP 2017 Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile