ICFP 2021
Sun 22 - Sat 28 August 2021
Thu 26 Aug 2021 22:00 - 23:00 at miniKanren - Morning Keynote Chair(s): Lisa Zhang

I describe a pattern for extending miniKanren, and exemplify it with two extensions: staged-miniKanren and CLP(SMT). I hope this simple and effective pattern will help you embark on your own adventures.

Thu 26 Aug

Displayed time zone: Seoul change

22:00 - 23:30
Morning KeynoteminiKanren at miniKanren
Chair(s): Lisa Zhang University of Toronto Mississauga
Adventures in extending miniKanren
Nada Amin Harvard University
Media Attached