Not registered as user yet
Name:Dmitry Mordvinov
Affiliation:Saint-Petersburg State University, JetBrains Research
Contributions
| miniKanren 2022 | PC Member in Program Committee within the miniKanren 2022-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile