ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy

Dates
Fri 6 Sep 2024
Rooms
Meeting 3
Tracks
miniKanren
Badges
in-person
remote
Your Program
Nothing to filter
You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 6 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Session 2miniKanren at Meeting 3
11:00
30m
Talk
Relational Reactive Programming: miniKanren for the Webremote
miniKanren
S: Evan Donahue University of Tokyo
11:30
30m
Talk
To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decisionin-person
miniKanren
S: Xiangyu Guo Arizona State University, Ajay Bansal Arizona State University
12:00
30m
Talk
Six Ways to Implement Divisibility by Three in miniKanrenin-person
miniKanren
Brett Schreiber None, S: Brysen Pfingsten Seton Hall University, Jason Hemann Seton Hall University
Pre-print
16:00 - 17:30
Session 4miniKanren at Meeting 3
16:00
30m
Talk
Improving stableKanren’s Backward Compatibilityin-person
miniKanren
S: Xiangyu Guo Arizona State University, Ajay Bansal Arizona State University
16:30
30m
Talk
A Relational Solver for Constraint-based Type Inferenceremote
miniKanren
Dmitri Boulytchev Saint Petersburg State University, S: Eridan Domoratskiy ITMO University
:
: