mkTut2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
co-located with ‹Programming› 2023
All Editions
Mon 13 - Fri 17 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 ...