ICFP 2021 (series) / miniKanren 2021 (series) /
miniKanren 2021 Program
This is the miniKanren 2021 program - see the full program for ICFP 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 26 AugDisplayed time zone: Seoul change
Thu 26 Aug
Displayed time zone: Seoul change
20:00 - 21:30 | Session AminiKanren at miniKanren Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
20:00 5mDay opening | Opening Remarks miniKanren | ||
20:05 30mPaper | A Complexity Study for Interleaving Search miniKanren Pre-print Media Attached | ||
20:35 30mPaper | metaKanren: Towards a Metacircular Relational Interpreter miniKanren Pre-print Media Attached | ||
21:05 25mPaper | A New Higher-order Unification Algorithm for λKanren miniKanren Pre-print Media Attached |
22:00 - 23:30 | |||
22:00 60mKeynote | Adventures in extending miniKanren miniKanren Nada Amin Harvard University Media Attached |
23:30 - 01:00 | |||
23:30 30mPaper | Prolog-Style Meta-Programming miniKanren miniKanren Nada Amin Harvard University, William E. Byrd University of Alabama at Birmingham, USA, Tiark Rompf Purdue University Pre-print Media Attached | ||
00:00 30mPaper | Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables miniKanren Evan Donahue University of Tokyo Pre-print Media Attached | ||
00:30 30mPaper | Universal Quantification and Implication in miniKanren miniKanren Ende Jin , Gregory Rosenblatt University of Alabama at Birmingham, USA, Matthew Might University of Alabama at Birmingham | Harvard Medical School, Lisa Zhang University of Toronto Mississauga Pre-print Media Attached |
Fri 27 AugDisplayed time zone: Seoul change
Fri 27 Aug
Displayed time zone: Seoul change
01:30 - 03:00 | Afternoon Keynote and Session CminiKanren at miniKanren Chair(s): Gregory Rosenblatt University of Alabama at Birmingham, USA | ||
01:30 60mKeynote | Relational Content Generation miniKanren Chris Martens North Carolina State University Media Attached | ||
02:30 25mPaper | Relational Floating-Point Arithmetic miniKanren Lucas Sandre University of Toronto Mississauga, Malaika Zaidi University of Toronto Mississauga, Lisa Zhang University of Toronto Mississauga Pre-print Media Attached | ||
02:55 5mDay closing | Closing Remarks miniKanren |