Artem Starikov -

Registered user since Thu 11 Jul 2024

Name:Artem Starikov

Affiliation:Innopolis University

Contributions

2024

miniKanren

Speaker of typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell within the miniKanren 2024-track