Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

Registered user since Mon 19 Aug 2019

Name: Dmitry Rozplokhas

Affiliation: Higher School of Economics

Contributions

miniKanren 2020 Certified Semantics for Disequality
Show activities from other conferences

ICFP 2020-profile
View general profile