ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Thu 15 Sep 2022 11:00 - 11:30 at M3 - Session 2 Chair(s): Jason Hemann

We show how to implement miniKanren with =/=, symbolo, numbero, and absento. The set of constraints we choose is motivated by the fact that interesting classes programs can be implemented with these, e.g. relational inter- preters and relational type inferencers. We also present a four-step constraint implementation recipe that en- ables readers to implement constraints beyond the set we chose.

recorded talk (talk.mp4)13.37MiB

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

11:00 - 12:30
Session 2miniKanren at M3
Chair(s): Jason Hemann Seton Hall University
A Tutorial Reconstruction of miniKanren with constraintsVirtual Tutorial
P: Bharathi Ramana Joshi IIIT Hyderabad, William E. Byrd University of Alabama at Birmingham, USA
Pre-print File Attached
Relational Interpreters, Conversion, and SynthesisVirtual Live Tutorial
P: Dmitri Boulytchev St. Petersburg State University, St. Petersburg, Russia
File Attached