Adventures in extending miniKanren (miniKanren 2021)

Sun 22 - Sat 28 August 2021

Track

miniKanren 2021

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 26 Aug 2021 22:00 - 23:00 at miniKanren - Morning Keynote Chair(s): Lisa Zhang

Abstract

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.

miniKanren 2021 - Adventures in extending miniKanren

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 26 Aug
Displayed time zone: Seoul change

22:00 - 23:30	Morning KeynoteminiKanren at miniKanren Chair(s): Lisa Zhang University of Toronto Mississauga

22:00 60m Keynote		Adventures in extending miniKanren miniKanren Nada Amin Harvard University Media Attached

Adventures in extending miniKanren

Thu 26 Aug
Displayed time zone: Seoul change

Nada Amin

Harvard University

Tracks

Workshops

Co-hosted Symposia

Adventures in extending miniKanren

Program Display Configuration

Program Display Configuration

Thu 26 AugDisplayed time zone: Seoul change

Nada Amin

Harvard University

Thu 26 Aug
Displayed time zone: Seoul change