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.