Welcome to the Third miniKanren and Relational Programming Workshop (2021) (mK 21) submissions site. For general information, see https://icfp21.sigplan.org/home/minikanren-2021.
Submissions
The deadline for registering submissions has passed.
Welcome to the Third miniKanren and Relational Programming Workshop (2021) (mK 21) submissions site. For general information, see https://icfp21.sigplan.org/home/minikanren-2021.
The deadline for registering submissions has passed.