mK 21

Sign in


Welcome to the Third miniKanren and Relational Programming Workshop (2021) (mK 21) submissions site. For general conference information, see https://icfp21.sigplan.org/home/minikanren-2021.

Submissions

The deadline for registering submissions has passed.