miniKanren 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
co-located with ICFP 2019
Conference Editions
Sun 18 - Fri 23 August 2019 Berlin, Germany

miniKanren 2019 with ICFP 2019

The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logic programming) languages: miniKanren, microKanren, core.logic, OCanren, Guanxi, etc. The workshop solicits papers and talks on the design, implementation, and application of miniKanren-like languages. A major goal of the workshop is to bring together researchers, implementors, and user ...