Not registered as user yet

Name:Artem Chirkov
Affiliation:University of Toronto Mississauga

Contributions

miniKanren 2020 Author of A Relational Interpreter for Synthesizing JavaScript within the miniKanren 2020-track