miniKanren 2024
Fri 6 Sep 2024 Milan, Italy
co-located with ICFP 2024
All Editions
Fri 6 Sep 2024 Milan, Italy

miniKanren 2024 with ICFP 2024

The miniKanren and Relational Programming Workshop is a 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 users fr ...

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

miniKanren 2023 with ICFP 2023

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 ...

Mon 13 - Tue 14 March 2023 Tokyo, Japan

mkTut2023 with ‹Programming› 2023

Relational Programming is a paradigm in which programs represent mathematical relations (in contrast to functional programming, in which programs represent mathematical functions). Unlike traditional programs, relational programs do not distinguish between inputs and outputs. Instead, any argument to a relational program can be treated as either an input or an output. This unusual property makes relational progra ...

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

miniKanren 2022 with ICFP 2022

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 ...

Thu 26 - Fri 27 August 2021

miniKanren 2021 with ICFP 2021

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 ...

Sun 23 - Fri 28 August 2020

miniKanren 2020 with ICFP 2020

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 ...

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 ...