• Sign in
  • Sign up
conf.researchr.org / Artem Starikov
  • ICFP 2024 profile
  • POPL 2025 profile
No Photo

Registered user since Thu 11 Jul 2024

Name:Artem Starikov
Affiliation:Innopolis University

Contributions

2025

WITS

  • Author of Towards Generic Higher-Order Unification Implementations in Haskell within the WITS 2025-track

2024

miniKanren

  • Speaker of typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell within the miniKanren 2024-track
Share
xSat 24 May 15:01
using conf.researchr.org (v1.69.0)
Support page
Sign Up